经典逻辑、门电路与布尔代数
在现代计算机科学的基石中，经典逻辑、门电路和布尔代数扮演着至关重要的角色。让我们深入探讨这些概念，了解它们是如何相互关联并构成计算机运算基础的。
1. 布尔逻辑基础
布尔逻辑源于19世纪末乔治·布尔（George Boole）的发现，他意识到逻辑的某些部分可以用代数方法处理，即存在能用代数表达的逻辑定律。我们通过真值表来介绍布尔逻辑的三个基本运算：非（not）、与（and）和或（or）。
非运算（Negation）：
- 若一个陈述为真，其否定为假；反之，若陈述为假，其否定为真。例如，陈述“2 + 2 = 4”为真，其否定“2 + 2 ≠ 4”为假。
- 我们常用符号P、Q、R代表陈述，符号¬表示非。若P代表“2 + 2 = 4”，则¬P代表“2 + 2 ≠ 4”。
- 用符号T和F分别表示真和假，非运算的真值表如下：
| P | ¬P |
| — | — |
| T | F |
| F | T |
与运算（And）：
- 与运算的符号是∧。若有两个陈述P和Q，组合成P ∧ Q，当且仅当P和Q都为真时，P ∧ Q才为真。
- 其真值表如下：
| P | Q | P ∧ Q |
| — | — | — |
| T | T | T |
| T | F | F |
