Step for Conversion to CNF ( Propositional Logic ) Artificial Intelligence series | English