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