Conversion to CNF