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,步骤如下:

 

原文地址:https://www.cnblogs.com/eleni/p/11770903.html