PL to Conjunctive Normal Form (CNF): (if A then B else (C implies D)) ☠☠ Posted on 21st August 201921st August 2019 Petr StejskalPosted in Computational logic, Propositional Logic