Conversion to Conjunctive Normal Form