# 布尔代数

> CIE A-Level 计算机科学 · 9618
> 来源: https://www.owlsprep.com/zh/study/cie-9618-u3-boolean-algebra/

布尔代数是描述二进制逻辑运算的形式系统，用于化简数字逻辑电路和验证逻辑关系。本指南涵盖CIE 9618考试中的核心定律、化简技巧和常见考题。

**先修:** [基本逻辑门和真值表](https://www.owlsprep.com/zh/study/cie-9618-u3-logic-gates/)

## 学习目标

- 记忆并应用布尔代数的核心定律
- 使用德摩根定理对布尔表达式取反并化简
- 分步化简复杂布尔表达式
- 在积之和与和之积形式之间转换
- 将布尔代数与数字逻辑电路设计关联起来

## 布尔代数的核心定义与定律

**布尔代数** — 用于二进制逻辑运算的数学系统，用于设计和化简数字逻辑电路

*记法:* Variables: $A, B, X \in \{0,1\}$; Operations: $\cdot$ (AND), $+$ (OR), $'$ (NOT)

*例:* $A + 0 = A$（或运算的同一律）

- 同一律：$A + 0 = A$, $A \cdot 1 = A$
- 零一律：$A + 1 = 1$, $A \cdot 0 = 0$
- 幂等律：$A + A = A$, $A \cdot A = A$
- 互补律：$A + A' = 1$, $A \cdot A' = 0$, $(A')' = A$
- 交换律：$A + B = B + A$, $A \cdot B = B \cdot A$
- 结合律：$(A + B) + C = A + (B + C)$, $(A \cdot B) \cdot C = A \cdot (B \cdot C)$
- 分配律：$A \cdot (B + C) = A \cdot B + A \cdot C$, $A + (B \cdot C) = (A + B) \cdot (A + C)$

**例题:** 化简表达式 $X = (A + B) \cdot (A + C)$

1. 从原始表达式开始：
2. $$(A + B) \cdot (A + C)$$
3. 匹配第二条分配律 $A + (B \cdot C) = (A + B)(A + C)$，反向应用进行化简：
4. 最终化简后的表达式：
5. $$X = A + (B \cdot C) = A + BC$$

> **考试提示:** 考试不会提供包含这些定律的公式册，因此你必须记住所有核心规则才能应考。

*计算器:* forbidden

## 德摩根定理

**德摩根定理** — 两条基本规则，允许你通过交换与/或运算并对每个文字取反来反转任意布尔表达式

*记法:* 1. $(A + B)' = A' \cdot B'$; 2. $(A \cdot B)' = A' + B'$

*例:* $(XY)' = X' + Y'$

> **扩展规则**
>
> 德摩根定理可推广到任意数量的变量：$(A + B + C)' = A'B'C'$ 且 $(ABC)' = A' + B' + C'$

**例题:** 使用德摩根定理化简 $X = (A' + B')'$

1. 对取反后的和式应用德摩根定理：
2. 交换或运算为与运算，对每个文字取反：
3. $$(A')' \cdot (B')'$$
4. 消去双重否定：$(A')' = A$, $(B')' = B$：
5. 最终结果：
6. $$X = A \cdot B$$

*计算器:* forbidden

## 化简复杂布尔表达式

大多数考题要求你结合核心定律和德摩根定理化简多项表达式。即使你的最终答案正确，也必须写出所有推导步骤才能获得满分。

**例题:** 化简表达式 $X = AB + A'C + BC$

1. 将项 $BC$ 乘以 $1 = A + A'$（互补律）改写：
2. $$BC = BC(A + A') = ABC + A'BC$$
3. 代回原表达式：
4. $$X = AB + A'C + ABC + A'BC$$
5. 合并同类项并应用零一律 $1 + C = 1$：
6. $$X = AB(1 + C) + A'C(1 + B) = AB(1) + A'C(1)$$
7. 应用同一律 $X \cdot 1 = X$ 得到最终化简结果：
8. $$X = AB + A'C$$

**概念自测**

测试你的理解：

1. $(A \cdot B')'$ 的化简结果是什么？

   - $A + B$
   - $A' + B$
   - $A \cdot B'$
   - $A' + B'$

   *解析:* 正确。应用德摩根定理：$(A \cdot B')' = A' + (B')' = A' + B$

*计算器:* forbidden

## 积之和与和之积

**积之和（SOP）/ 和之积（POS）** — 布尔表达式的两种标准形式。SOP是多个与项的或；POS是多个或项的与。SOP是使用标准门电路实现逻辑电路最常用的形式。

*例:* SOP: $AB + A'C$; POS: $(A + B)(A' + C)$

CIE考试经常要求在POS和SOP形式之间转换，你可以使用分配律和化简规则完成转换。

**例题:** 将POS表达式 $(A + B') \cdot (A' + C)$ 转换为SOP形式

1. 使用分配律展开乘积：
2. $$A \cdot A' + A \cdot C + B' \cdot A' + B' \cdot C$$
3. 化简 $A \cdot A' = 0$（互补律）：
4. $$0 + AC + A'B' + B'C$$
5. 应用同一律 $0 + X = X$ 得到最终SOP形式：
6. $$AC + A'B' + B'C$$

*计算器:* forbidden

## 常见错误

- **错误做法:** 应用德摩根定理时忘记对所有变量取反，错误写为 $(A + B)' = A' + B'$
  - 原因: 德摩根定理要求交换运算，同时对表达式中的每个文字取反
  - 正确做法: 正确形式为 $(A + B)' = A' \cdot B'$：交换或运算为与运算，对两个文字都取反
- **错误做法:** 错误应用分配律，写为 $A + (B \cdot C) = (A + B) \cdot C$
  - 原因: 布尔代数遵循与普通代数不同的规则，因式分解的方式不同
  - 正确做法: 正确规则是 $A + (B \cdot C) = (A + B) \cdot (A + C)$
- **错误做法:** 考试中没有写出化简的每一步
  - 原因: CIE会给每个正确应用定律的步骤给方法分，即使最终答案错误也能得分
  - 正确做法: 明确写出每个化简步骤，如果题目要求，还要写出你使用的定律名称
- **错误做法:** 混淆零一律，写为 $A + 1 = A$
  - 原因: 混淆了同一律（0或1不改变变量）和零一律
  - 正确做法: 记住：或1（真）结果永远是1，与0（假）结果永远是0：$A + 1 = 1$, $A \cdot 0 = 0$
- **错误做法:** 忘记双重否定会抵消，写为 $(A')' = A'$
  - 原因: 化简时忽略了双重取反的互补律
  - 正确做法: 对一个变量取反两次会得到原始值：$(A')' = A$

## 速查表

| 定律名称 | 规则1 | 规则2 |
| --- | --- | --- |
| 同一律 | $A + 0 = A$ | $A \cdot 1 = A$ |
| 零一律 | $A + 1 = 1$ | $A \cdot 0 = 0$ |
| 幂等律 | $A + A = A$ | $A \cdot A = A$ |
| 互补律 | $A + A' = 1$ | $A \cdot A' = 0$ |
| 双重否定 | $(A')' = A$ |  |
| 交换律 | $A + B = B + A$ | $A \cdot B = B \cdot A$ |
| 结合律 | $(A+B)+C = A+(B+C)$ | $(AB)C = A(BC)$ |
| 分配律 | $A(B + C) = AB + AC$ | $A + BC = (A+B)(A+C)$ |
| 德摩根 | $(A + B)' = A'B'$ | $(AB)' = A' + B'$ |

## 下一步

布尔代数是所有数字逻辑设计的基础数学系统，你在这里学习的化简技巧将应用于CIE 9618所有后续硬件主题。你将使用这些技能根据问题描述设计组合逻辑电路，之后分析包含存储元件的时序逻辑电路。CIE考试也会考察另一种化简较大布尔表达式的方法：卡诺图（K-map），它直接建立在本文介绍的概念之上。掌握这个子主题会让所有高级逻辑设计主题更容易理解。

- [用于布尔化简的卡诺图](https://www.owlsprep.com/zh/study/cie-9618-u3-karnaugh-maps/)
- [计算机体系结构](https://www.owlsprep.com/zh/study/cie-9618-u3-computer-architecture/)
- [输入输出设备](https://www.owlsprep.com/zh/study/cie-9618-u3-input-and-output-devices/)

---

来自 [OwlsPrep](https://www.owlsprep.com) —— A-Level / IB / AP / IGCSE 免费学习指南，依据官方考纲编写。原页面：https://www.owlsprep.com/zh/study/cie-9618-u3-boolean-algebra/