Turing complete 图灵完整性需要什么逻辑门？

我儿子最近一直在玩《小星球2》，我注意到游戏编辑器允许和盖茨，或者盖茨和不盖茨。。。它是图灵完备的吗？如果是这样的话，有人能推荐一个学习如何将这些原语转化为更高级别的条件If的源吗？

一个想法：你应该能够构建一个，然后你就可以构建。使用XOR和，您可以构建一个。组合半加法器以生成一个半加法器。这至少是一个开始

---

NAND和NOR是其他门的基本构造块，所以可能性很大。

and，OR和NOT是，也就是说，所有可能的真值表都可以表示出来。我相信这也使它具有图灵完整性，因为你可以用任何功能完整的一组门来构造一个通用处理器

一个与非门是所有需要的，所有的东西都可以用它来构建，所以你拥有的三个都是足够的。这是一门课程，带你从逻辑门开始，直到构建计算机，一直到编写操作系统：

你不需要和and或or中的一个，就能完成所有的二进制逻辑。 这基本上是

然而，这对于图灵完整性是不够的。 为此，您还需要随机（或等效）访问 （理论上）无限的记忆

很有可能，你将能够制作一个触发器（a） 是使用NAND构建的，因此使用 可用的逻辑门。从这些，你可以建立一个 注册，你就有足够的装备了

---

构建一些简单的程序。

您需要的唯一门不是和或。有了这两个逻辑门，您就可以构建所有其他逻辑门。例如，NOT（或（NOT | NOT））是AND门，或（NOT | NOT）是NAND，NOT（或（））是NOR，等等。最难做的（也是功能上最有用的）是XOR，它可以用一个NAND门树来做，反过来也可以用NOT和或来做，如上图所示。

我知道我在这里玩游戏迟到了，但是的。我使用LBP2，它有and、OR、NOT、XOR、NAND和NOR。你也可以加减信号，游戏中也有实现二进制的方法。

你可以用与非门或非门构建任何复杂的逻辑电路

NAND是一个AND，输出引脚上有一个NOT

输出引脚上也没有带NOT的OR

任何基于NAND的电路都可以专门使用NOR重建，反之亦然

因此，只要给定与非门，就可以构建任何逻辑电路。或者你可以使用NOR门。或者您可以使用“不”和“和”门。或者您可以使用“不”和“或”门。或者，您也可以使用AND、NOT和Or门：您当然可以通过使用所有三种类型的门创建最佳组合来减少晶体管的数量

所有这一切都可以通过使用真值表的布尔代数来证明：真值表的任何组合都可以通过上述门的组合来构建。当有两个输入时，有4个可能的输入组合，给出16个可能的真值表。通过使用上述门的组合，您可以创建所有这16个真值表，因此，您不需要16个不同的门。当您添加更多输入和输出时，甚至当您创建寄存器和锁存器以创建内存位、CPU寄存器和/或任何顺序逻辑电路时，这种情况仍然存在

---

也是一个减法器，用于进行比较，也可能是用于存储数据的触发器电路。不需要证明图灵完整性的存储系统规范，尤其是随机存取存储器。参见SKI组合微积分。可使用有限数量逻辑门定义的机器集是可构建为确定性有限自动机的机器集的子集。参考链接现在指向（感谢该链接！）我不知道BP2，但人们用minecraft做了一些疯狂的事情，如ALU：