Conversion To Conjunctive Normal Form