标签：nbsp order inf http height mic cat anon second
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
标签：nbsp order inf http height mic cat anon second
原文地址：https://www.cnblogs.com/eleni/p/11777339.html
