logic - Are there any programs on the internet that show step by step how to convert a formula to Conjunctive Normal Form? - Mathematics Stack Exchange
Why we convert CFG (context free grammer) into CNF (Chomsky normal form)? - Quora
Inference and Resolution for Problem Solving - ppt download