How Can I Convert Propositional Logic to CNF in AI?