Maths›03. Logic and Foundations1.4 Normal FormsConjunctive normal form, disjunctive normal form, and systematic conversion of propositional formulas.