1. boolean functions
2. syntax and revisited
3. Conjunctive and Disjunctivenormal form
CNF: product of sums
DNF: sum of products
4. 不是所有的formula都是CNF或者DNF，但是每个formula都能找到一个逻辑相同的formula使其符合CNF或者DNF，步骤如下：
原文：https://www.cnblogs.com/eleni/p/11770903.html