lecture 10.30

1. canonical form DNF

 

2. canonical CNF同理,找到DNF之后可以用De Morgan's Law

3. Karnaugh's Maps

4. boolean algebra

 

 

5. duality

6. beyond propositional logic

 

 

second order logic: add quantification of relations

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