boolean functions and beyon

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，步骤如下：