图灵完备 从入门到入土关卡解析（TRUING COMPLETE）

图灵完备 从入门到入土关卡解析

可参考文章：
《图灵完备 Turing Complete》游戏攻略保姆级详解 更新中… - 淘气喵w的文章 - 知乎
https://zhuanlan.zhihu.com/p/604162902

前期需要了解的知识
基本逻辑门电路图形符号

与门

表达式为：Y=AB

或门

表达式为：Y=A+B

非门

表达式为：Y=A’

与非门

表达式为：Y=(AB)’

或非门

表达式为：Y=(A+B)’

异或门

表达式为：Y=A’B+AB’

同或门

表达式为：Y=(A’B+AB’)’

逻辑门运算公式

以下引用知乎 koch 作者文章

一、基础逻辑电路

1、或非门

该关卡给出与非门和非门

分别为：
Y=(AB)’
Y=A’
给出的真值表

根据图像得出公式：Y=A’B’
要求输出或非门（NOR），Y=(A+B)’
根据德摩根定律：(AB)‘=A’+B’；(A+B)‘=A’B’
即Y=(A+B)‘=A’B’
可通过两个非门加一个与门（与非门+非门）组成该表达式
如下图：

2、与门（AND）

给出Y=(AB)‘，Y=A’

给出真值表

需输出：Y=AB
即可通过Y=((AB)')'得出

3、 或门

在或非门中可以体现出来，在此不做赘述

4、 高电平

给出真值表计算出：Y=A’+A
则根据公式，使用非门和或门组成这个公式

5、 第二刻

给出真值表：Y=AB’
则可通过一个非门和与门组成网络

6、 异或门（XOR）

Y=AB’+A’B

7、 三路或门

可根据直觉，直接给三个信号两两或，最后两个信号再或下。

但我们这里依旧用真值表进行推导

Y=AB’C’+A’BC’+ABC’+A’B’C+AB’C+A’BC+ABC
=AB’+A’B+AB+A’B’C
=AB’+B+A’B’C
=A+B+A’B’C
=A+B+A’C
=A+B+C
即A与B或的值再与C或

此次推导使用了
A+A’B=AB
A+A’=1
等几个运算律，多使用就会熟悉
且从该结果反映出，直觉给出的答案不一定是最简便的

8、 三路与门

真值表：Y=ABC

9、同或门（XNOR）

Y=A’B’+AB
=(A+B)'+AB
即或非门+与门