【发布时间】:2016-06-01 06:35:51
【问题描述】:
【问题讨论】:
标签: boolean-logic
【问题讨论】:
标签: boolean-logic
正确,这是逻辑,将 NOT(foo and bar) 替换为 NAND(foo, bar) 请注意,在第 5 步中,我们通过对第 4 步中的表达式应用 NOT NOT 来得到一个 NAND
1. NOT X AND Z OR NOT Y AND Z
2. Z AND (NOT X OR NOT Y) by Distributive property of AND
3. Z AND NOT (X AND Y) by DeMorgan
4. Z AND NAND(X,Y)
5. NOT (NOT (Z AND NAND(X,Y)))
6. NOT NAND(Z, NAND(X,Y))
【讨论】: