仅使用NAND门构建x或(非y)

Question

我正试图仅使用NAND门来创建以下问题的解决方案。我该怎么做呢？

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