slide 5: Expressiveness

谢非尔竖线

谢非尔竖线「」用于表示 NAND，即

NAND 可以表示常见的五种符号：

运算名	原来的	NAND
NOT
OR
AND
IMPLIES
EQUIVALENCE

规范形式 Canonical Normal Forms

• 文字（literal），即 和
• 逻辑析取（disjunctive），即或
• 逻辑合取（conjunctive），即与
• 析取范式 DNF，Disjunctive Normal Form，即一堆文字的与的或，SOP
• 合取范式 CNF，Conjunctive Normal Form，即一堆文字的或的与，POS