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