This covers Negation Normal Form, Conjunctive Normal Form and Disjunctive Normal Form in propositional logic. We follow chapter 4 of Moti Ben Ari's textbook, Mathematical Logic for Computer Science. Much of this material was adapted from Carlos Almeida's slides on Validity Checking.
