1. canonical form DNF
2. canonical CNF同理，找到DNF之后可以用De Morgan's Law
3. Karnaugh's Maps
4. boolean algebra
扫描二维码关注公众号，回复：
7710287 查看本文章
5. duality
6. beyond propositional logic
second order logic: add quantification of relations