构建x OR（不是y）仅使用NAND门

Question

我正在尝试仅使用NAND门创建以下解决方案。我该怎么做呢？

x OR（不是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