僅使用“與非”門構建x OR（非y）

Question

我正在嘗試僅使用“與非”門創建以下解決方案。 我將如何去做？

x或（不是y）

Answer 1

以來

Not(x) = Nand(x, x)

和

Or(x, y) = Nand(Not(x), Not(y))

可以僅使用Nand門來形成該表達式，如下所示：

Nand(Nand(x, x), y)

或者，如果您更喜歡后綴表示法：

y Nand x Nand x

Answer 2

答案如下

(NOT X) NAND Y