这种仅使用与非门的表达式是否正确？

Question

原始表达在这里：

~xz+~yz

我把它简化为

~(x*y)*z

  

注意：这是作业，所以感谢解释/提示。

表达到NAND

Answer 1

正确，这是逻辑，用NAND取代NOT（foo和bar）（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))