Propositional Logic CNF Converter