逻辑代数基础

---

我们在文章《数字电子技术基础|信息与编码》中曾经简单的介绍过逻辑代数，并给出了三种基本运算。

下面，让我们来更深入的讨论这个话题。

---

一. 常见的符合逻辑运算

与非 Y = (A·B)`

或非 Y = (A + B)`

与或非 Y = (A·B + C·D)`

异或 Y = A ⊕ B

真值表：

图形符号：

同或 Y = A ⊙ B

真值表：

图形符号：

---

二. 逻辑代数中的公式

基本公式：

---

下表中的0和1为逻辑常量，A、B等为逻辑变量。

---

公式17（分配律）的证明：

公式8（反演律）的证明：