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