布尔代数

CIE A-Level 计算机科学· 第3单元：硬件，第2主题· 5 分钟阅读

1. 布尔代数的核心定义与定律★★☆☆☆⏱ 15 min

🚫 计算器禁用

📘 定义

布尔代数

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$

Exam tip:

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

2. 德摩根定理★★★☆☆⏱ 20 min

🚫 计算器禁用

📘 定义

德摩根定理

$(A + B)^{'} = A^{'} \cdot B^{'}$ ; 2. $(A \cdot B)^{'} = A^{'} + B^{'}$

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

例:

$(X Y)^{'} = X^{'} + Y^{'}$

📐 例题

使用德摩根定理化简 $X = (A^{'} + B^{'})^{'}$

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

3. 化简复杂布尔表达式★★★☆☆⏱ 25 min

🚫 计算器禁用

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

📐 例题

化简表达式 $X = A B + A^{'} C + B C$

1
将项 $B C$ 乘以 $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$

✓ 快速检测

测试你的理解：

$(A \cdot B^{'})^{'}$ 的化简结果是什么？
- $A + B$
- $A^{'} + B$
- $A \cdot B^{'}$
- $A^{'} + B^{'}$
显示答案
$A' + B$ —
正确。应用德摩根定理： $(A \cdot B^{'})^{'} = A^{'} + (B^{'})^{'} = A^{'} + B$

4. 积之和与和之积★★★★☆⏱ 15 min

🚫 计算器禁用

📘 定义

积之和（SOP）/ 和之积（POS）

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

例:

SOP: $A B + 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$

5. 常见陷阱

错误做法:

应用德摩根定理时忘记对所有变量取反，错误写为 $(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$

6. 速查表

定律名称	规则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)$	$(A B) C = A (B C)$
分配律	$A (B + C) = A B + A C$	$A + B C = (A + B) (A + C)$
德摩根	$(A + B)^{'} = A^{'} B^{'}$	$(A B)^{'} = A^{'} + B^{'}$

真题中的出现

AI 根据考纲规律估算的考点位置,请对照官方真题核实准确性。仅作复习重点参考。

2022 · 12
化简布尔表达式
2023 · 11
应用德摩根定理
2024 · 13
转换为SOP形式

深入阅读

syllabusCIE 9618 2026 考试大纲

下一步

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