1. boolean functions
2. syntax and revisited
3. Conjunctive and Disjunctivenormal form
CNF: product of sums
DNF: sum of products
4. Not all are CNF formula or DNF, but each of the same formula can be found to conform to a logical formula CNF or DNF, the following steps: