Logic

欢迎来到逻辑世界！

你好，未来的计算机科学家！如果“逻辑”这个词听起来让你感到压力，请别担心。在计算机科学中，逻辑就是计算机做出决策所遵循的规则。它是电路、处理器以及所有软件运行的最基础核心。

你可以把逻辑想象成计算机的一种表达方式：“如果这个条件为真 AND（且）那个条件也为真，那么我就运行这个程序。”

在本章中，我们将通过一种简单的组件——逻辑门（Logic Gates）来拆解这些规则，并使用真值表（Truth Tables）将它们可视化。学完之后，你就能读懂由 1 和 0 构成的秘密语言了！

1. 基础知识：布尔逻辑（真或假）

所有的数字逻辑都建立在数学家乔治·布尔（George Boole）的研究基础上，因此我们将其称为布尔逻辑（Boolean Logic）。计算机只处理两种可能性：

• 真 (True)（用数字 1 或 ON 表示）
• 假 (False)（用数字 0 或 OFF 表示）

输入与输出的概念

每一个逻辑运算都会接收一个或多个输入（inputs）（0 或 1），并产生唯一一个输出（output）（单个 0 或 1）。

类比： 想象一个电灯开关。

• 输入（开关）：开 (1) 或 关 (0)。
• 输出（灯泡）：亮 (1) 或 灭 (0)。

简单回顾： 一切皆为 1 或 0。这是仅有的两种可能状态。

2. 逻辑门——电路的积木

逻辑门（Logic Gate）是一个微小的电子电路（由晶体管组成），负责执行基础的布尔运算。计算机中每一个复杂的功能，都是通过连接成千上万个这样的简单逻辑门来实现的。

2.1 NOT 门（反相器）

NOT 门是最简单的逻辑门，它只有一个输入和一个输出。

• 规则： 它会对输入进行反转（inverts）。如果你输入 1，输出就是 0；反之亦然。
• 关键术语： 它通常被称为反相器（Inverter）。
• 符号提示： NOT 门的符号是一个三角形，输出端带有一个小圆圈（即“气泡”）。气泡总是表示“反转”或“NOT”。

类比：NOT 门就像是在说“不”。如果答案是“是”(1)，输出就是“不”(0)。

NOT 门的真值表

输入 (A)	输出 (X)
0	1
1	0

2.2 AND 门（条件门）

AND 门需要两个或更多的输入，通常我们关注两个输入（A 和 B）。

• 规则： 只有当所有输入都为 1（真）时，输出 (X) 才为 1（真）。
• 如果哪怕有一个输入是 0，输出就是 0。
• 记忆口诀： 把 AND 门看作一个高标准的要求。它需要 A AND B 同时达成完美 (1)，才能给你一个 1 的结果。

类比：要打开一个高安全级别的保险柜，你需要同时插入钥匙 A AND 钥匙 B。如果缺了一把钥匙 (0)，保险柜就保持锁死状态 (0)。

AND 门的真值表

输入 (A)	输入 (B)	输出 (X)
0	0	0
0	1	0
1	0	0
1	1	1

2.3 OR 门（灵活门）

OR 门同样接收两个或更多的输入（A 和 B）。

• 规则： 只要有任意一个输入为 1（真），输出 (X) 就是 1（真）。
• 只有当所有输入都是 0 时，输出才为 0。
• 记忆口诀： 把 OR 门看作非常灵活。你可以提供 A OR B（或者两个都提供！）就能成功。

类比：进入俱乐部，你需要学生证 OR 护照。只要你有其中任意一样 (1)，就能进去 (1)。只有两样都没有 (0) 时，才会被拒绝 (0)。

OR 门的真值表

输入 (A)	输入 (B)	输出 (X)
0	0	0
0	1	1
1	0	1
1	1	1

第 2 节重点总结： AND 要求所有输入都为 1；OR 要求至少有一个输入为 1；NOT 负责翻转输入。

3. 衍生逻辑门

通过组合基础门（NOT、AND、OR），工程师们创造了在计算机电路中非常常见的专用逻辑门。

3.1 XOR 门（异或门）

XOR 代表 Exclusive OR（异或）。当你想要做出决策，但要求两个选项不能同时选时，就会用到这个门。

• 规则： 如果输入不同，输出 (X) 就为 1（真）。
• 如果输入相同（全为 0 或全为 1），输出则为 0。
• 用途： XOR 在算术电路（如半加器）和错误检查中至关重要。

类比：在餐厅里，你可以选汤 OR 沙拉，但不能两个都要。如果你两个都选了 (1, 1)，你就打破了规则，输出结果就是 0。

XOR 门的真值表

输入 (A)	输入 (B)	输出 (X)
0	0	0
0	1	1
1	0	1
1	1	0

3.2 NAND 门（与非门）

NAND 门就是一个 AND 门后面紧跟着一个 NOT 门。

• 规则： 除非所有输入都为 1，否则输出始终为 1。它与 AND 完全相反。
• 符号提示： 它看起来像 AND 符号，但在输出端有一个“NOT 气泡”。
• 你知道吗？ NAND 有时被称为“通用门”，因为你只需要组合 NAND 门，就可以构建出任何其他的门（AND、OR、NOT、XOR）！

3.3 NOR 门（或非门）

NOR 门就是一个 OR 门后面紧跟着一个 NOT 门。

• 规则： 只有当所有输入都为 0 时，输出才为 1。它与 OR 完全相反。
• 符号提示： 它看起来像 OR 符号，但在输出端有一个“NOT 气泡”。

NAND 和 NOR 门的真值表（相对照）

观察它们与其父类门（AND 和 OR）的对比：

输入 (A, B)	AND	NAND (NOT AND)	OR	NOR (NOT OR)
0, 0	0	1	0	1
0, 1	0	1	1	0
1, 0	0	1	1	0
1, 1	1	0	1	0

避免常见的错误： 同学们常会混淆 XOR 和 OR。请记住，OR 允许 (1, 1)，但 XOR 明确排除了 (1, 1)。

4. 真值表——逻辑映射

真值表（Truth Table）是一种数学表格，用于列出给定逻辑电路或逻辑门的所有可能输入组合及其对应的输出。

4.1 计算行数

可能的输入组合数量（即表格的行数）取决于输入端的数量 (\(n\))。

计算公式为： $$ \text{行数} = 2^n $$

例如：

• 如果是 \(n=1\) 个输入（如 NOT），你需要 \(2^1 = 2\) 行（0 和 1）。
• 如果是 \(n=2\) 个输入（如 AND、OR），你需要 \(2^2 = 4\) 行。
• 如果是 \(n=3\) 个输入（A、B、C），你需要 \(2^3 = 8\) 行。

4.2 循序渐进：如何填写输入列

创建真值表时，系统化地列出输入非常重要，这样就不会遗漏任何组合。

示例：创建 2 个输入的真值表（A 和 B）：

1. A 列： 用总行数 (4) 除以 2。前一半（2 行）填 0，后一半（2 行）填 1。
   (0, 0, 1, 1)
2. B 列： 用上一步得到的块大小 (2) 除以 2。交替填 0 和 1。
   (0, 1, 0, 1)

这种系统方法（以二进制计数）确保你覆盖了从 00 到 11 的每一种可能性。

4.3 将逻辑应用于复杂电路

在 IGCSE 计算机科学考试中，你可能会被要求求出组合了多个逻辑门的电路输出。

步骤示例：求 (A AND B) OR C 的输出 (X)

该电路有 3 个输入（A、B、C），因此我们需要 8 行 (\(2^3\))。为了解决这个问题，我们从左到右按顺序（一次处理一个门）进行计算。

1. 建立表格： 为 A、B、C 创建 8 行，并为第一个运算 (A AND B) 创建一个中间列。

   A	B	C	中间列 (A AND B)	输出 X
   0	0	0
   0	0	1
   0	1	0
   0	1	1
   1	0	0
   1	0	1
   1	1	0
   1	1	1

2. 计算中间列 (A AND B)： 只看 A 和 B 列来填写这一列。记住：AND 门只有在 A 和 B 都为 1 时才输出 1。
3. 得出最终输出 X ((A AND B) OR C)： 现在，将“中间列”和输入 C 作为最终 OR 门的两个输入。记住：如果任意一个输入为 1，OR 门的输出就是 1。

A	B	C	中间列 (A AND B)	输出 X (Int. OR C)
0	0	0	0	0
0	0	1	0	1
0	1	0	0	0
0	1	1	0	1
1	0	0	0	0
1	0	1	0	1
1	1	0	1	1
1	1	1	1	1

呼！如果这看起来步骤很多，请别担心。窍门就是把复杂的问题拆解成更小的、独立的逻辑门运算。只要精通了 AND、OR 和 NOT，你就能解决任何电路问题！

第 4 节重点总结： 真值表将每一个输入的可能性 (\(2^n\)) 映射到最终输出。始终使用中间列按步骤求解。