university / Logic / Logical System / Propositional Logic / Normal Form Normal Form 2 items Conjunctive Normal Form Disjunctive Normal Form