the corner office

Well, I thought this section of AI was a lot like Formal Logic. Sure, the symbols are the same. But it gets progressively more esoteric. Progressively more painful. And time runs out for submission deadlines... ouch. Battling through resolution by refutation, and far too many squiggly symbols that are a pain to remember. So now I try to run through the steps to convert a sentence to clauses, and my head explodes in a flurry of upside-down A's.

*splat*