Правильно ли это изображение выражения, использующего только NAND-ворота?

Question

Оригинального выражения здесь:

~xz+~yz 

Я упростил ее

~(x*y)*z 

Примечания: Это домашнее задание так объяснение/советы ценятся.

выражение NAND

Answer 1

Правильно, здесь есть логика, заменив NOT (Foo и бар) с NAND (Foo, Bar) Примечание на шаге 5, получаем NAND путем применения НЕ НЕ к выражению на этапе 4

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))