欢迎来到逻辑世界！
你有没有想过电脑实际上是如何“思考”的？它不使用文字或情感，而是使用逻辑门 (Logic Gates)。这些是电脑处理器内部的微小构件。它们接收电信号（开或关），并根据这些信号做出决定。看完这些笔记，你就会明白这些简单的“决策者”是如何结合起来，运行从微波炉到智能手机的一切设备！
1. 基础知识：1、0 与真值表
在计算机科学中，我们使用二进制 (Binary)。这意味着所有事物非 1 即 0：
- 1（真 / 开 / 高电压）
- 0（假 / 关 / 低电压）
为了展示逻辑门如何运作，我们使用真值表 (Truth Table)。这只是一张简单的图表，列出了所有可能的输入，并显示相应的输出结果。你可以把它想象成逻辑门的“规则手册”。
2. 六个基本逻辑门
AQA 课程大纲要求你掌握六种特定的逻辑门。让我们逐一拆解。
NOT 门（反相器）
NOT 门是最简单的。它只有一个输入，作用就是将信号翻转为相反状态。如果你输入 1，它就会回传 0。
类比：一个总是和你唱反调的朋友，你说什么他都说相反的！
布尔表达式： \( Q = \overline{A} \)
快速回顾： 输入 0 \(\rightarrow\) 输出 1 | 输入 1 \(\rightarrow\) 输出 0
AND 门（全部或没有）
AND 门只有在所有输入皆为 1 时，输出才会是 1。
类比：要参加学校旅行，你需要交签署好的回条并且 (AND) 支付车费。如果你缺了其中任何一样，都不能去。
布尔表达式： \( Q = A \cdot B \)
OR 门（其中一个即可）
OR 门只要至少有一个输入为 1，输出就会是 1。
类比：如果你有纸本门票或者 (OR) 手机上的电子门票，就可以进入电影院。两者都有当然也没问题！
布尔表达式： \( Q = A + B \)
XOR 门（异或）
XOR 门比较挑剔。只有当输入不同时，它才会输出 1。它就像 OR 门，但“排除了”两者皆为 1 的情况。
类比：点选“定额套餐”，前菜可以选汤或者 (OR) 沙拉，但绝对不能两样都要。
布尔表达式： \( Q = A \oplus B \)
NAND 门（与非门）
你可以把它想成在 AND 门后面接了一个 NOT 门。它的作用与 AND 门完全相反。除非两个输入都是 1，否则它都会输出 1。
布尔表达式： \( Q = \overline{A \cdot B} \)
NOR 门（或非门）
这是 OR 门后面接了一个 NOT 门。只有当两个输入都是 0 时，它才会输出 1。
布尔表达式： \( Q = \overline{A + B} \)
重点提示： 如果你记得 AND 和 OR，你就已经掌握了 NAND 和 NOR——只要把最终答案翻转过来即可！
3. 逻辑电路图
在考试中，你会看到这些逻辑门以符号形式绘制（ANSI/IEEE 标准）。你需要具备“追踪”信号通过逻辑门的能力。
如何完成电路的真值表：
- 从左侧的输入开始（通常为 A 和 B）。
- 一次穿过一个逻辑门。
- 在每个逻辑门后写下中间结果。
- 最后一栏就是你的输出（通常为 Q）。
要避免的常见错误： 不要试图在脑海中计算整个电路！要在图表中的导线上方写下每个单独逻辑门的结果，这样才能保持条理清晰。
4. 布尔代数
有时将逻辑写成数学方程式会更容易。这称为布尔代数 (Boolean Algebra)。
你需要记住的符号：
- \( \cdot \) 代表 AND
- \( + \) 代表 OR
- \( \oplus \) 代表 XOR
- 字母上方的横线 (\( \overline{A} \)) 代表 NOT
例子： 如果你看到 \( Q = (A \cdot B) + C \)，意思是“先计算 A AND B，然后将结果与 C 进行 OR 运算”。
5. 使用恒等式简化逻辑
计算机科学家追求效率。为什么要用三个逻辑门才能完成的事，却不用一个逻辑门解决呢？我们使用恒等式 (Identities) 来简化表达式。
需要记住的常见恒等式：
- \( A \cdot 0 = 0 \)（任何事物 AND 0 永远是 0）
- \( A \cdot 1 = A \)（任何事物 AND 1 保持不变）
- \( A + 0 = A \)（任何事物 OR 0 保持不变）
- \( A + 1 = 1 \)（任何事物 OR 1 永远是 1）
- \( A + A = A \) 以及 \( A \cdot A = A \)
记忆小撇步： 将 1 想作“真”，将 0 想作“假”。如果你说“真 OR 任何事物”，整个陈述结果皆为真！这就是为什么 \( A + 1 = 1 \)。
6. 德·摩根定律 (De Morgan’s Laws)
这通常是学生觉得最棘手的部分，但其实有一个简单的窍门！德·摩根定律可以帮你拆开覆盖多个变量的“NOT”横线。
规则：
- \( \overline{A \cdot B} = \overline{A} + \overline{B} \)
- \( \overline{A + B} = \overline{A} \cdot \overline{B} \)
“断线”小窍门：
1. 将中间的横线断开。
2. 改变符号（AND 变为 OR，或 OR 变为 AND）。
就是这么简单！
重点提示： 要简化复杂的表达式，请务必先寻找使用德·摩根定律的机会，然后再运用你的基本恒等式。
快速总结回顾
逻辑门： NOT（翻转）、AND（两者皆是）、OR（其一即可）、XOR（两者不同）、NAND（非两者皆是）、NOR（两者皆非）。
数学： \( \cdot \) 是 AND，\( + \) 是 OR。
简化： 使用恒等式，并对德·摩根定律使用“断开横线，改变符号”的方法。
如果一开始觉得很难，别担心！ 逻辑就像拼图。一旦你学会了这些拼图块是如何组合在一起的，你就会更容易发现其中的规律。