《数字电路》| 第 2 节 ‑ 逻辑代数与逻辑函数

2.1 本节导论

逻辑代数（布尔代数）是数字电路与计算机科学的数学基石，它研究逻辑变量、逻辑运算及其规律。本章将系统讲解逻辑代数的基本概念、公理定律、三大规则、逻辑函数的多种表达形式以及公式法化简技巧，为后续学习数字系统设计与分析奠定坚实的理论基础。

2.2 逻辑代数基本概念

逻辑代数（Boolean Algebra），又称布尔代数，是研究逻辑变量、逻辑运算及其规律的数学分支。它由英国数学家乔治·布尔（George Boole）于19世纪创立，是现代数字电路设计、计算机科学和形式逻辑的理论基础。

2.2.1 逻辑代数的定义与特点

逻辑代数是一种处理二值（0和1）变量的代数系统，其核心特点包括：

1. 二值性 ：逻辑变量只有两种取值------0（假，False） 和 1（真，True）。
2. 三种基本运算：与（AND，记作 · 或 ∧）、或（OR，记作 + 或 ∨）、非（NOT，记作 ' 或 ¬）。
3. 公理化体系：基于一组基本公理（如0-1律、互补律等）推导出所有定律和规则。
4. 与普通代数的区别：逻辑代数中"+"和"·"不表示数值的加法和乘法，而是表示逻辑关系的"或"和"与"；且满足 A + (B · C) = (A + B) · (A + C) 等特殊规律。

2.2.2 逻辑代数的基本元素

1. 逻辑变量（Logic Variable）

• 用字母（如 A, B, C, X, Y）表示，取值仅为 0 或 1。
• 代表一个逻辑命题的真假状态，例如：A = 1 表示"开关闭合"，A = 0 表示"开关断开"。

2. 逻辑常量（Logic Constant）

• 逻辑 0 ：表示假（False）、低电平、关断、不成立等。
• 逻辑 1 ：表示真（True）、高电平、导通、成立等。

3. 逻辑运算（Logic Operation）

• 基本逻辑运算：与（AND）、或（OR）、非（NOT）。
• 复合逻辑运算：由基本运算组合而成，如与非（NAND）、或非（NOR）、异或（XOR）、同或（XNOR）。

2.2.3 逻辑代数的表示方法

1. 真值表（Truth Table）：列出所有输入组合对应的输出值，直观展示逻辑功能。
2. 逻辑表达式（Logic Expression）：用运算符连接变量构成的式子，如 F = A · B + C'。
3. 逻辑图（Logic Diagram）：用逻辑门符号表示运算关系的电路图。
4. 卡诺图（Karnaugh Map）：用于逻辑函数化简的图形工具。
5. 波形图（Timing Diagram）：展示信号随时间变化的图形，用于时序分析。

2.2.4 逻辑代数的应用领域

1. 数字电路设计：构成计算机硬件的基础，用于设计逻辑门、触发器、寄存器等。
2. 计算机编程：布尔逻辑是条件判断、循环控制的核心。
3. 数据库查询：SQL 中的 WHERE 条件使用 AND、OR、NOT 进行数据筛选。
4. 搜索引擎：布尔检索模型支持 AND、OR、NOT 组合关键词。
5. 人工智能：知识表示、推理系统、专家系统的基础。
6. 形式验证：验证硬件设计或软件协议的正确性。

2.2.5 学习逻辑代数的重要性

• 理论基础：是理解数字系统工作原理的数学基础。
• 设计工具：掌握逻辑化简方法可优化电路，减少成本与功耗。
• 思维训练：培养抽象思维和逻辑推理能力。
• 跨学科应用：在计算机科学、电气工程、自动化等多个领域均有广泛应用。

逻辑代数为后续学习逻辑函数、组合逻辑电路、时序逻辑电路等内容奠定了坚实的理论基础。接下来，我们将深入探讨逻辑代数的基本运算与复合运算。

2.3 基本逻辑运算与复合逻辑运算

逻辑运算是对逻辑变量进行的操作，是构成复杂逻辑函数的基础。逻辑运算分为基本逻辑运算 和复合逻辑运算两大类。

2.3.1 三种基本逻辑运算

基本逻辑运算只有三种：与（AND） 、或（OR） 、非（NOT）。所有复杂的逻辑关系都可以由这三种基本运算组合而成。

1. 与运算（AND，逻辑乘）

• 逻辑含义：当且仅当所有输入变量都为"1"（真）时，输出才为"1"；否则输出为"0"。
• 运算符：·（点乘）、∧、且、AND。
• 逻辑表达式：F = A · B 或 F = A ∧ B。
• 口诀 ：有0出0，全1出1

2. 或运算（OR，逻辑加）

• 逻辑含义：只要有一个输入变量为"1"（真），输出就为"1"；只有当所有输入都为"0"时，输出才为"0"。
• 运算符：+（加号）、∨、或、OR。
• 逻辑表达式：F = A + B 或 F = A ∨ B。
• 口诀 ：有1出1，全0出0

3. 非运算（NOT，逻辑反）

• 逻辑含义：输出与输入状态相反。
• 运算符：'（上划线或撇号）、¬、NOT。
• 逻辑表达式 ：F = A' 或 F = ¬A 或 F = A‾\overline{A}A
• 口诀 ：入0出1，入1出0

2.3.2 复合逻辑运算

复合逻辑运算是由两种或两种以上基本逻辑运算组合而成的运算。最常见的复合逻辑运算包括：与非（NAND） 、或非（NOR） 、异或（XOR） 、同或（XNOR）。

1. 与非运算（NAND）

• 逻辑含义：先进行"与"运算，再对结果进行"非"运算。
• 逻辑表达式 ：F = (A · B)' 或 F = ¬(A ∧ B) 或 F = A⋅B‾\overline{A \cdot B}A⋅B
• 特性 ：与非门是通用门，仅用与非门就可以实现与、或、非三种基本运算，因此在数字电路设计中非常重要

2. 或非运算（NOR）

• 逻辑含义：先进行"或"运算，再对结果进行"非"运算。
• 逻辑表达式 ：F = (A + B)' 或 F = ¬(A ∨ B) 或 F = A+B‾\overline{A + B}A+B
• 特性 ：或非门也是通用门，仅用或非门也可以实现所有基本逻辑运算。

3. 异或运算（XOR）

• 逻辑含义 ：当两个输入变量取值相同时 输出为"0"，取值不同时输出为"1"。

• 运算符：⊕

• 逻辑表达式：F = A ⊕ B = A'·B + A·B'。

• 应用：常用于比较器、奇偶校验、加法器（半加器）等电路。

4. 同或运算（XNOR）

• 逻辑含义：当两个输入变量取值相同时输出为"1"，取值不同时输出为"0"。它是异或运算的"非"。
• 运算符：⊙ 或 ⊕'。
• 逻辑表达式：F = A ⊙ B = (A ⊕ B)' = A·B + A'·B'
• 应用：常用于比较器、奇偶校验等需要判断两个输入是否相等的场合

2.4 逻辑代数的公理与基本定律

2.4.1 常量之间的逻辑关系

逻辑常量只有两个：逻辑0 （假，False）和逻辑1（真，True）。它们之间的基本逻辑关系是逻辑代数公理体系的基础，定义了逻辑运算在常量上的行为。理解这些关系是掌握所有后续定律和化简技巧的前提。

下表列出了逻辑常量之间进行与（AND） 、或（OR） 、非（NOT） 三种基本运算的结果：

运算	表达式	结果	逻辑含义
与（AND）	0 · 0	0	两个条件都为假，结果为假。
	0 · 1	0	有一个条件为假，结果为假。
	1 · 0	0	有一个条件为假，结果为假。
	1 · 1	1	两个条件都为真，结果为真。
或（OR）	0 + 0	0	两个条件都为假，结果为假。
	0 + 1	1	有一个条件为真，结果为真。
	1 + 0	1	有一个条件为真，结果为真。
	1 + 1	1	两个条件都为真，结果为真。
非（NOT）	0'	1	假的否定为真。
	1'	0	真的否定为假。

核心公理（0-1律）

常量之间的关系构成了逻辑代数的公理 ，其中最核心的是 0-1律 （又称同一律）：

1. 与运算的0-1律：

   • A · 0 = 0 （任何变量与0相与，结果恒为0）
   • A · 1 = A （任何变量与1相与，结果等于变量本身）

2. 或运算的0-1律：

   • A + 0 = A （任何变量与0相或，结果等于变量本身）
   • A + 1 = 1 （任何变量与1相或，结果恒为1）

3. 非运算的0-1律（互补律）：

   • 0' = 1
   • 1' = 0

掌握常量之间的逻辑关系，是理解更复杂的变量关系、进行逻辑函数化简和电路分析的第一步。

2.4.2 变量与常量、变量之间逻辑关系

在掌握了常量之间的基本关系后，我们进一步探讨逻辑变量与常量 以及逻辑变量之间的基本逻辑关系。这些关系是逻辑代数的公理体系，是后续所有定律和化简规则的推导基础。

变量与常量的基本关系

关系名称	逻辑表达式	逻辑含义
与0律	A · 0 = 0	任何变量与逻辑0相与，结果恒为0（0是与运算的零元）。
与1律	A · 1 = A	任何变量与逻辑1相与，结果等于变量本身（1是与运算的单位元）。
或0律	A + 0 = A	任何变量与逻辑0相或，结果等于变量本身（0是或运算的单位元）。
或1律	A + 1 = 1	任何变量与逻辑1相或，结果恒为1（1是或运算的零元）。

变量与变量之间的基本公理

逻辑变量之间的基本关系是逻辑代数运算规则的基石，主要包括以下三条核心公理：

1. 互补律（Complement Law）

互补律描述了一个变量与其反变量之间的关系，是逻辑代数中"非"运算的核心体现。

• 与形式的互补律 ：A · A' = 0
  • 逻辑含义：一个变量与其反变量相与，结果恒为假（0）。因为一个命题和它的否定不可能同时为真。
• 或形式的互补律 ：A + A' = 1
  • 逻辑含义：一个变量与其反变量相或，结果恒为真（1）。因为一个命题和它的否定总有一个为真。

2. 重叠律（Idempotent Law）

重叠律描述了同一变量重复运算的结果。

• 与形式的重叠律 ：A · A = A
  • 逻辑含义：同一个变量相与，结果仍是它本身。这体现了逻辑的确定性。
• 或形式的重叠律 ：A + A = A
  • 逻辑含义：同一个变量相或，结果仍是它本身。

3. 还原律（Involution Law / Double Negation）

还原律是"非"运算的重要性质，已在2.3.3节作为对合律提及，这里作为公理再次强调。

• 还原律 ：(A')' = A
  • 逻辑含义：对一个变量连续取反两次，得到原变量本身。即"非非即原"。

理解并熟练运用这些变量与常量、变量与变量之间的基本关系，是掌握逻辑代数、进行有效逻辑推理和电路设计的关键第一步

2.4.3 逻辑代数常用核心定律

逻辑代数的常用核心定律是基于公理推导出的重要恒等式，它们在逻辑函数化简、电路设计和形式验证中具有广泛应用。以下是逻辑代数中最常用、最核心的几类定律：

1. 交换律（Commutative Law）

• 与运算交换律：A · B = B · A
• 或运算交换律：A + B = B + A

交换律表明逻辑运算中操作数的顺序不影响结果，这与普通代数中的乘法、加法交换律类似。

2. 结合律（Associative Law）

• 与运算结合律：(A · B) · C = A · (B · C)
• 或运算结合律：(A + B) + C = A + (B + C)

结合律允许在不改变运算顺序的情况下重新分组操作数，便于化简复杂表达式。

3. 分配律（Distributive Law）

• 与对或的分配律：A · (B + C) = A · B + A · C
• 或对与的分配律：A + (B · C) = (A + B) · (A + C)

分配律是逻辑代数中最重要的定律之一，特别是第二个（或对与的分配律）在普通代数中不成立，这是逻辑代数的特性。

4. 吸收律（Absorption Law）

• 第一吸收律：A + A · B = A
• 第二吸收律：A · (A + B) = A
• 第三吸收律：A + A' · B = A + B
• 第四吸收律：A · (A' + B) = A · B

吸收律是逻辑函数化简中最实用的工具，可以快速消除冗余项。

5. 摩根定律（De Morgan's Law）

• 与的摩根定律：(A · B)' = A' + B'
• 或的摩根定律：(A + B)' = A' · B'

摩根定律建立了与、或运算与非运算之间的关系，是逻辑电路设计中与非门、或非门实现的基础。

6. 对合律（Involution Law）

• 双重否定律：(A')' = A

对合律表明对一个变量连续取反两次，得到原变量本身。

7. 冗余律（Redundancy Law）

• 冗余项消除：A · B + A · B' = A
• 冗余因子消除：(A + B) · (A + B') = A

冗余律在卡诺图化简和公式法化简中经常使用。

8. 一致性定理（Consensus Theorem）

• 与形式一致性：A · B + A' · C + B · C = A · B + A' · C
• 或形式一致性：(A + B) · (A' + C) · (B + C) = (A + B) · (A' + C)

一致性定理用于消除表达式中的冗余项，是逻辑化简的高级技巧

这些核心定律构成了逻辑代数的基础框架，熟练掌握它们对于后续学习逻辑函数化简、组合逻辑电路设计至关重要。

2.5 逻辑代数三大重要规则

逻辑代数中除了基本定律外，还有三大重要规则：代入规则 、反演规则 和对偶规则。它们是推导新公式、求解反函数和验证等式的重要工具，在逻辑函数化简和电路设计中应用广泛

2.5.1 代入规则

代入规则（Substitution Rule）是指：在任何成立的逻辑等式中，将等式两边所有出现的某一变量，统一替换为一个任意逻辑函数表达式，替换后的等式依然成立。

核心要点：

• 替换必须是全部替换，即等式中所有出现该变量的位置都要替换。
• 替换的表达式可以是任意复杂的逻辑函数。
• 替换后等式的成立性保持不变。

示例：

已知等式 A · (B + C) = A · B + A · C（分配律），将等式中的 B 全部替换为 (D + E)，得到：

A · [(D + E) + C] = A · (D + E) + A · C

该等式依然成立。

应用意义 ：代入规则是逻辑代数中推导新公式的基础。通过将已知定律中的变量替换为更复杂的表达式，可以扩展定律的适用范围，得到更多有用的恒等式。

2.5.2 反演规则

反演规则 （Inversion Rule）是求解逻辑函数反函数 （补函数）的通用方法。根据反演规则，对任意逻辑函数 F，其反函数 F' 可以通过以下步骤求得：

操作步骤（三换两不变）：

类别	操作	说明
三换	与运算（·）↔ 或运算（+）	将原函数中的"与"换成"或"，"或"换成"与"
	原变量 ↔ 反变量	将每个变量取反（A 换成 A'，A' 换成 A）。
	0 ↔ 1	将常量 0 换成 1，1 换成 0。
两不变	运算优先级（括号层级）保持不变	不改变原有括号结构和运算顺序。
	长非号保持不变	覆盖多个变量的长非号（如 (A + B)'）保持不变。

注意：异或、同或 先展开为与‑或表达式，再使用反演规则运算

示例：

求函数 F = A · B + C' · D 的反函数 F'。

按照反演规则：

1. 与运算（·）换成或运算（+），或运算（+）换成与运算（·）。
2. 原变量换成反变量：A → A'，B → B'，C' → C，D → D'。
3. 常量 0 和 1 互换（本例无常量）。

得到：

F' = (A' + B') · (C + D')

应用意义：反演规则是求解逻辑函数反函数的最直接方法，在数字电路设计中用于求补电路、分析逻辑门的互补关系等。

2.5.3 对偶规则

对偶规则 （Duality Rule）是逻辑代数中验证等式成立、推演新公式的核心工具。对任意逻辑函数 F，将其中的与运算（·）换成或运算（+） 、或运算（+）换成与运算（·） 、常量 0 换成 1 、常量 1 换成 0 ，得到的函数称为原函数的对偶式 ，记作 FDF^DFD

操作步骤（两换三不变）：

类别	操作	说明
两换	与运算（·）↔ 或运算（+）	将"与"换成"或"，"或"换成"与"。
	0 ↔ 1	将常量 0 换成 1，1 换成 0。
三不变	运算优先级（括号层级）保持不变	不改变原有括号结构和运算顺序。
	长非号保持不变	覆盖多个变量的长非号保持不变。
	变量不变	变量本身不取反，保持原样。

注意：异或、同或 先展开为与‑或表达式，再使用对偶规则运算

对偶规则的核心性质：若两个逻辑等式成立，则它们的对偶式也成立。即：

若 F = G，则 FD=GDF^D = G^DFD=GD

示例：

已知等式 A + A · B = A（吸收律），对其两边取对偶：

• 左边：A + A · B 的对偶式为 A · (A + B)。
• 右边：A 的对偶式为 A。

得到对偶等式：

A · (A + B) = A

这正是第二吸收律，验证了吸收律的对偶性。

应用意义 ：对偶规则使得一个定律可以推出两个形式 ，大大简化了公式的记忆和推导。例如，掌握了分配律 A · (B + C) = A · B + A · C，利用对偶规则即可直接得到 A + (B · C) = (A + B) · (A + C)。

掌握这三大规则，是深入理解逻辑代数、熟练进行逻辑函数化简和电路设计的重要基础。

2.6 逻辑函数的表达形式

逻辑函数可以用多种形式来表达，不同形式各有其特点和适用场景。常见的表达形式包括：与-或式 、或-与式 、与非-与非式 、或非-或非式 和与-或-非式。掌握这些形式及其相互转换方法，是进行逻辑函数化简和电路实现的基础。

2.6.1 与‑或式

与-或式 （Sum of Products，SOP）是逻辑函数最常用、最基础的一种表达形式。它由若干个乘积项 （与项）通过或运算 连接而成。

2.6.2 或‑与式

或-与式 （Product of Sums，POS）是逻辑函数的另一种重要表达形式。它由若干个和项 （或项）通过与运算 连接而成。

2.6.3 与非‑与非式

与非-与非式 是逻辑函数的一种单一门实现 形式。它只使用与非运算（NAND）来表达整个逻辑函数。

2.6.4 或非‑或非式

或非-或非式 是逻辑函数的另一种单一门实现 形式。它只使用或非运算（NOR）来表达整个逻辑函数。

2.6.5 与‑或‑非式

与-或-非式 是逻辑函数的一种混合门实现 形式。它由若干个乘积项 （与项）通过或运算 连接后，再整体取反 而成。

注意事项：

1. 与-或式和或-与式是基本形式，其余三种形式可由它们转换得到
2. 各种形式之间可以相互转换，选择哪种形式取决于具体的应用场景和实现要求。

掌握这五种表达形式及其转换方法，是深入理解逻辑函数、进行逻辑化简和电路设计的重要基础。

2.7 逻辑函数的公式法化简

逻辑函数化简的核心目标是得到 最简与或式（乘积项最少 + 每个乘积项的变量数最少）。公式法化简就是利用逻辑代数的基本定律和恒等式，对逻辑函数表达式进行等价变换，从而消去冗余项和冗余因子，得到最简形式的过程。

化简结果不唯一，但是一定是最简形式

2.7.1 化简的目标：最简与‑或式

最简与-或式是指满足以下两个条件的与-或表达式：

1. 乘积项（与项）的个数最少。
2. 每个乘积项中变量的个数最少。

为什么以最简与-或式为目标？

• 与-或式是逻辑函数最基础、最通用的表达形式，便于后续转换为其他形式。
• 乘积项越少、每个乘积项变量越少，对应的逻辑电路越简单 ，所需门电路数量越少，从而降低成本和功耗。
• 最简与-或式是卡诺图化简和公式法化简的共同目标。

示例：

化简 F = A · B + A · B'：

F = A · B + A · B'
  = A · (B + B')        （提取公因子 A）
  = A · 1               （互补律：B + B' = 1）
  = A                   （与1律：A · 1 = A）

化简前有 2 个乘积项、共 4 个变量；化简后只有 1 个乘积项、1 个变量，达到了最简形式。

2.7.2 基础化简公式

基础化简公式是公式法化简中最常用、最直接的恒等式，主要用于消去冗余项或冗余因子。

（一）并项法（合并相邻项）

利用互补律 A + A' = 1 或 A · A' = 0 ，将两个只有某个变量互为反变量的乘积项合并为一个：

A · B + A · B' = A · (B + B') = A

（二）吸收法（消去吸收项）

利用吸收律 A + A · B = A，消去被吸收的冗余项：

A + A · B = A
A · (A + B) = A

（三）消因子法（消去冗余因子）

利用吸收律的变形 A + A' · B = A + B，消去乘积项中的冗余因子：

A + A' · B = A + B
A · (A' + B) = A · B

（四）配项法（添加冗余项再消去）

利用 A = A · (B + B') 或 A = A + A · B，先添加冗余项，再与其他项合并化简：

A · B + A' · C + B · C
= A · B + A' · C + B · C · (A + A')      （配项）
= A · B + A' · C + A · B · C + A' · B · C
= A · B · (1 + C) + A' · C · (1 + B)      （提取公因子）
= A · B + A' · C                          （吸收冗余项）

2.7.3 进阶推演公式

进阶推演公式是由基础公式推导出的更复杂的恒等式，用于处理交叉项 和冗余项的消去。

（一）冗余律（消去交叉项）

A · B + A' · C + B · C = A · B + A' · C
A · B + A' · C + B · C· D = A · B + A' · C

当 A · B 和 A' · C 同时存在时，B · C 是冗余项，可以消去。

（二）冗余因子消除

(A + B) · (A' + C) · (B + C) = (A + B) · (A' + C)

这是冗余律的对偶形式，用于或-与式的化简。

（三）综合化简示例

化简 F = A · B + A' · C + B · C · D：

F = A · B + A' · C + B · C · D
  = A · B + A' · C + B · C · D · (A + A')     （配项）
  = A · B + A' · C + A · B · C · D + A' · B · C · D
  = A · B · (1 + C · D) + A' · C · (1 + B · D)  （提取公因子）
  = A · B + A' · C                            （吸收冗余项）

2.7.4 异或、同或化简公式

异或（XOR）和同或（XNOR）运算在数字电路中应用广泛，掌握它们的化简公式可以简化包含异或、同或运算的逻辑函数。

（一）异或运算的基本性质

A ⊕ 0 = A          （与0异或，结果不变）
A ⊕ 1 = A'         （与1异或，结果取反）
A ⊕ A = 0          （与自身异或，结果为0）
A ⊕ A' = 1         （与反变量异或，结果为1）
A ⊕ B = B ⊕ A      （交换律）
(A ⊕ B) ⊕ C = A ⊕ (B ⊕ C)   （结合律）

（二）异或的展开与合并

A ⊕ B = A' · B + A · B'     （异或的与-或展开式）
A ⊕ B = (A + B) · (A' + B')  （异或的或-与形式）
A · B + A' · B' = (A ⊕ B)' = A ⊙ B   （同或的与-或展开式）

（三）同或运算的基本性质

A ⊙ 0 = A'
A ⊙ 1 = A
A ⊙ A = 1
A ⊙ A' = 0
A ⊙ B = B ⊙ A

（四）异或、同或与基本运算的关系

A ⊕ B = (A ⊙ B)'
A ⊙ B = (A ⊕ B)'
A ⊕ B = A ⊙ B' = A' ⊙ B

（五）化简示例

化简 F = A ⊕ B ⊕ A：

F = A ⊕ B ⊕ A
  = (A ⊕ A) ⊕ B          （结合律）
  = 0 ⊕ B                （A ⊕ A = 0）
  = B                    （0 ⊕ B = B）

2.7.5 逻辑运算优先级

在进行公式法化简时，必须遵循逻辑运算的优先级顺序，否则会得到错误的结果。

优先级顺序（从高到低）：

1. 括号 ( )：优先级最高，用于强制改变运算顺序。
2. 非运算 '（取反）：单目运算符，优先级仅次于括号。
3. 与运算 ·（逻辑乘）：双目运算符，优先级高于或运算。
4. 或运算 +（逻辑加）：双目运算符，优先级最低。

注意事项：

• 异或（⊕）和同或（⊙）的优先级介于与运算和或运算之间，但在化简时建议用括号明确运算顺序，避免歧义。
• 当表达式中出现连续多个相同优先级的运算符时，按从左到右 的顺序计算（左结合）。
• 化简过程中，每一步变换都必须保持逻辑等价性，即变换前后的函数值完全相同。

示例：

化简 F = A · B + A · C' + A' · B：

F = A · B + A · C' + A' · B
  = A · (B + C') + A' · B        （提取公因子 A）
  = A · B + A · C' + A' · B
  = B · (A + A') + A · C'        （合并含 B 的项）
  = B · 1 + A · C'               （互补律：A + A' = 1）
  = B + A · C'                   （与1律：B · 1 = B）

化简前有 3 个乘积项、共 6 个变量；化简后有 2 个乘积项、共 3 个变量，达到了最简与-或式。

总结：公式法化简的核心是灵活运用基础化简公式、进阶推演公式以及异或、同或化简公式，同时严格遵守逻辑运算的优先级。熟练掌握这些方法，可以高效地将复杂逻辑函数化简为最简形式，为后续的电路设计奠定基础。

2.8 本节小结

本章系统阐述了逻辑代数的基础理论，从逻辑变量、常量与基本运算出发，深入讲解了公理体系、核心定律以及三大重要规则（代入、反演、对偶）。在此基础上，介绍了逻辑函数的五种表达形式及其转换，并重点讲解了公式法化简的目标、常用公式与技巧。掌握这些内容是进行逻辑设计、电路优化和后续数字系统学习的必备基础。