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