PL to Conjunctive Normal Form (CNF): (T implies (P or Q)) ☠ Posted on 21st August 201921st August 2019 Petr StejskalPosted in Computational logic, Propositional Logic