completed code for CNF conversion