10、经典逻辑、门电路与布尔代数

经典逻辑、门电路与布尔代数

在现代计算机科学的基石中，经典逻辑、门电路和布尔代数扮演着至关重要的角色。让我们深入探讨这些概念，了解它们是如何相互关联并构成计算机运算基础的。

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 |