05 - 布尔代数基础与基本定律布尔代数是数字电路的数学语言熟练掌握它才能真正驾驭复杂数字系统的设计。 本章学习要点理解布尔代数的基本运算掌握布尔代数的基本定律同一律、零律、互补律等熟练运用布尔代数的六个法则能够进行简单的布尔表达式化简1️⃣ 布尔代数概述什么是布尔代数 布尔代数的诞生 布尔代数Boolean Algebra由英国数学家乔治·布尔George Boole 于1854年创立最初用于研究逻辑推理。 20世纪30年代克劳德·香农Claude Shannon将其应用于电路分析 开创了数字电路设计的新纪元。 ┌─────────────────────────────────────────────────────────────┐ │ │ │ 乔治·布尔 (1815-1864) │ │ 英国数学家、哲学家 │ │ 《思维定律的研究》(1854) │ │ │ │ 克劳德·香农 (1916-2001) │ │ 美国数学家、信息论之父 │ │ 《继电器和开关电路的符号分析》(1938) │ │ │ └─────────────────────────────────────────────────────────────┘布尔代数的基本元素 布尔代数的三要素 ┌─────────────────────────────────────────────────────────────┐ │ │ │ 【变量】 │ │ - 用字母表示 A, B, C, X, Y, ... │ │ - 取值只有两种 0 或 1 │ │ - 代表逻辑状态 低/高、假/真、关/开 │ │ │ │ 【常量】 │ │ - 0逻辑假、低电平、关 │ │ - 1逻辑真、高电平、开 │ │ │ │ 【运算符】 │ │ - 与(AND) · 或省略 │ │ - 或(OR) │ │ - 非(NOT) Ā 或 ¬A 或 ~A │ │ │ └─────────────────────────────────────────────────────────────┘2️⃣ 布尔代数的基本定律2.1 三大基本定律 布尔代数的三大基本定律 ┌─────────────────────────────────────────────────────────────┐ │ │ │ 【定律1交换律】 │ │ ───────────────────────────────────────────── │ │ A B B A (或运算可交换) │ │ A · B B · A (与运算可交换) │ │ │ │ 【定律2结合律】 │ │ ───────────────────────────────────────────── │ │ (A B) C A (B C) A B C │ │ (A · B) · C A · (B · C) A · B · C │ │ │ │ 【定律3分配律】 │ │ ───────────────────────────────────────────── │ │ A · (B C) A·B A·C ← 与对或的分配 │ │ A (B·C) (AB)·(AC) ← 或对与的分配 │ │ │ └─────────────────────────────────────────────────────────────┘2.2 同一律与零律 同一律与零律 ┌─────────────────────────────────────────────────────────────┐ │ │ │ 【同一律 (Identity Law)】 │ │ ───────────────────────────────────────────── │ │ A 0 A ← 0是或运算的恒等元 │ │ A · 1 A ← 1是与运算的恒等元 │ │ │ │ 【零律 (Null Law / Domination Law)】 │ │ ───────────────────────────────────────────── │ │ A 1 1 ← 1是或运算的吸收元被吸收 │ │ A · 0 0 ← 0是与运算的吸收元被吸收 │ │ │ │ 记忆技巧 │ │ 与0相与 0被吃掉了 │ │ 或1相或 1被吞掉了 │ │ │ └─────────────────────────────────────────────────────────────┘2.3 互补律矛盾律 互补律 (Complement Law) ┌─────────────────────────────────────────────────────────────┐ │ │ │ 【互补律】 │ │ ───────────────────────────────────────────── │ │ A Ā 1 ← A与非A相加必为1 │ │ A · Ā 0 ← A与非A相与必为0 │ │ │ │ 证明用真值表验证 │ │ ┌───────┬───────┬────────┬────────┐ │ │ │ A │ Ā │ A Ā │ A · Ā │ │ │ ├───────┼───────┼────────┼────────┤ │ │ │ 0 │ 1 │ 1 │ 0 │ │ │ │ 1 │ 0 │ 1 │ 0 │ │ │ └───────┴───────┴────────┴────────┘ │ │ ↑ ↑ │ │ 恒为1 恒为0 │ │ │ └─────────────────────────────────────────────────────────────┘2.4 双重否定律 双重否定律 (Double Negation Law) ┌─────────────────────────────────────────────────────────────┐ │ │ │ 【双重否定律】 │ │ ───────────────────────────────────────────── │ │ Ā A ← 否定之否定等于本身 │ │ NOT(NOT A) A │ │ │ │ 证明用真值表验证 │ │ ┌───────┬───────┬───────┐ │ │ │ A │ Ā │ Ā │ │ │ ├───────┼───────┼───────┤ │ │ │ 0 │ 1 │ 0 │ A ✓ │ │ │ 1 │ 0 │ 1 │ A ✓ │ │ └───────┴───────┴───────┘ │ │ │ │ 现实类比负负得正 │ │ │ └─────────────────────────────────────────────────────────────┘3️⃣ 布尔代数的六个法则3.1 吸收法则 (Absorption Law) 吸收法则 ┌─────────────────────────────────────────────────────────────┐ │ │ │ 【吸收法则1】 │ │ ───────────────────────────────────────────── │ │ A A·B A ← A吸收了A·B │ │ A · (A B) A ← A吸收了(AB) │ │ │ │ 【吸收法则2】 │ │ ───────────────────────────────────────────── │ │ A Ā·B A B │ │ A · (Ā B) A · B │ │ │ │ 证明吸收法则1 │ │ │ │ A A·B A·1 A·B (同一律) │ │ A·(1 B) (分配律) │ │ A·1 (零律: 1B1) │ │ A (同一律) ✓ │ │ │ │ 记忆技巧 │ │ A A·B A → A 或 (A与B) A │ │ 像我爱吃苹果或我爱吃红苹果结果还是我爱吃苹果 │ │ │ └─────────────────────────────────────────────────────────────┘3.2 还原法则 (Redundance Law) 还原法则 ┌─────────────────────────────────────────────────────────────┐ │ │ │ 【还原法则】 │ │ ───────────────────────────────────────────── │ │ A·B A·B̄ A │ │ (A B)·(A B̄) A │ │ │ │ 证明 │ │ A·B A·B̄ A·(B B̄) (分配律) │ │ A·1 (互补律) │ │ A (同一律) ✓ │ │ │ │ 记忆技巧 │ │ B和B̄互补必有一个为1 │ │ A与任何数相与结果还是A │ │ │ └─────────────────────────────────────────────────────────────┘3.3 合舍/析取法则 (Consensus Law) 合舍法则 (Consensus Law) ┌─────────────────────────────────────────────────────────────┐ │ │ │ 【合舍法则】 │ │ ───────────────────────────────────────────── │ │ A·B Ā·C B·C A·B Ā·C │ │ (A B)·(Ā C)·(B C) (A B)·(Ā C) │ │ │ │ 意义 │ │ B·C 是冗余项可以删掉 │ │ 这个法则在卡诺图化简中非常有用 │ │ │ └─────────────────────────────────────────────────────────────┘4️⃣ 德·摩根定律重要回顾 德·摩根定律再次强调 ┌─────────────────────────────────────────────────────────────┐ │ │ │ 【定律1】 │ │ ───────────────────────────────────────────── │ │ (A·B) Ā B̄ │ │ 与的非 非的或 │ │ │ │ 【定律2】 │ │ ───────────────────────────────────────────── │ │ (A B) Ā · B̄ │ │ 或的非 非的与 │ │ │ │ 【n变量推广】 │ │ ───────────────────────────────────────────── │ │ (A·B·C·...) Ā B̄ C̄ ... │ │ (A B C ...) Ā · B̄ · C̄ · ... │ │ │ │ 记忆技巧 │ │ 1. 长线变断线断线变短线 │ │ 2. 与变或或变与 │ │ │ └─────────────────────────────────────────────────────────────┘5️⃣ 定律汇总表与记忆技巧完整定律汇总 布尔代数定律完整汇总表 ┌─────────────────────────────────────────────────────────────┐ │ 基本定律 │ ├──────────┬──────────────────────┬────────────────────────────┤ │ 交换律 │ A B B A │ A·B B·A │ │ │ A ⊕ B B ⊕ A │ A⊙B B⊙A (同或也满足) │ ├──────────┼──────────────────────┼────────────────────────────┤ │ 结合律 │ A(BC) (AB)C │ A·(B·C) (A·B)·C │ ├──────────┼──────────────────────┼────────────────────────────┤ │ 分配律 │ A·(BC) A·BA·C │ A(B·C) (AB)·(AC) │ ├──────────┼──────────────────────┼────────────────────────────┤ │ 同一律 │ A 0 A │ A·1 A │ ├──────────┼──────────────────────┼────────────────────────────┤ │ 零律 │ A 1 1 │ A·0 0 │ ├──────────┼──────────────────────┼────────────────────────────┤ │ 互补律 │ A Ā 1 │ A·Ā 0 │ ├──────────┼──────────────────────┼────────────────────────────┤ │ 重叠律 │ A A A │ A·A A │ ├──────────┼──────────────────────┼────────────────────────────┤ │ 双否律 │ Ā A │ ─ │ ├──────────┼──────────────────────┼────────────────────────────┤ │ 吸收律 │ A A·B A │ A·(A B) A │ │ │ A Ā·B A B │ A·(Ā B) A·B │ ├──────────┼──────────────────────┼────────────────────────────┤ │ 还原律 │ A·B A·B̄ A │ ─ │ ├──────────┼──────────────────────┼────────────────────────────┤ │ 合舍律 │ ABĀCBC ABĀC │ ─ │ ├──────────┼──────────────────────┼────────────────────────────┤ │ 德·摩根律│ (A·B) Ā B̄ │ (A B) Ā·B̄ │ └──────────┴──────────────────────┴────────────────────────────┘记忆口诀️ 布尔代数记忆口诀 ┌─────────────────────────────────────────────────────────────┐ │ │ │ 【基础口诀】 │ │ ───────────────────────────────────────────── │ │ 与 有0出0全1出1 │ │ 或 有1出1全0出0 │ │ 非 入1出0入0出1 │ │ │ │ 【同一律口诀】 │ │ ───────────────────────────────────────────── │ │ 或0得原与1得原 │ │ │ │ 【零律口诀】 │ │ ───────────────────────────────────────────── │ │ 或1得1与0得0 │ │ │ │ 【互补律口诀】 │ │ ───────────────────────────────────────────── │ │ A与非A相加必为1相乘必为0 │ │ │ │ 【吸收律口诀】 │ │ ───────────────────────────────────────────── │ │ A或(A与B)等于A │ │ (像大海吞小河结果还是大海) │ │ │ │ 【德·摩根口诀】 │ │ ───────────────────────────────────────────── │ │ 长线变断线断线变短线 │ │ 与变或或变与 │ │ │ └─────────────────────────────────────────────────────────────┘6️⃣ 布尔代数化简实例实例演练 例1化简 Y A·B A·B̄ Step 1: Y A·B A·B̄ Step 2: A·(B B̄) ← 提取公因子A Step 3: A·1 ← B B̄ 1互补律 Step 4: A ← A·1 A同一律 结果Y A 电路实现对比 ┌─────────────────────────────────────────┐ │ 化简前 化简后 │ │ ┌───┐ ┌───┐ │ │ A─┤ ├─── Y A─┤ ├─── Y │ │ B─┘ │ └───────────┘ │ │ B̄─┘ │ └─────────────────────────────────────────┘ 例2化简 Y (A B)·(A B̄) Step 1: Y (A B)·(A B̄) Step 2: A B·B̄ ← (XY)(XZ) X Y·Z Step 3: A 0 ← B·B̄ 0互补律 Step 4: A ← A 0 A同一律 结果Y A 例3化简 Y AB ĀC BC Step 1: Y AB ĀC BC Step 2: AB ĀC BC·1 Step 3: AB ĀC BC·(A Ā) ← A Ā 1 Step 4: AB ĀC BCA BCĀ Step 5: AB ABC ĀC BCĀ ← 重排 Step 6: AB(1 C) ĀC(1 B) ← 提取公因子 Step 7: AB·1 ĀC·1 ← 1 X 1 Step 8: AB ĀC ← 与1相与得本身 结果Y AB ĀC ← BC是冗余项可删除 这就是合舍法则的应用 本章小结✅ 布尔代数要点总结 ┌─────────────────────────────────────────────────────────────┐ │ 【三大基本定律】 │ │ - 交换律ABBA, A·BB·A │ │ - 结合律(AB)C A(BC) │ │ - 分配律A·(BC) A·B A·C │ │ │ │ 【六个重要法则】 │ │ - 同一律A0A, A·1A │ │ - 零律A11, A·00 │ │ - 互补律AĀ1, A·Ā0 │ │ - 重叠律AAA, A·AA │ │ - 吸收律AA·BA, A·(AB)A │ │ - 还原律A·BA·B̄A │ │ │ │ 【德·摩根定律】 │ │ - (A·B) Ā B̄ │ │ - (AB) Ā · B̄ │ │ │ │ 核心目标用布尔代数化简逻辑表达式 │ │ 减少门电路数量降低成本和延迟 │ │ │ └─────────────────────────────────────────────────────────────┘ 延伸阅读《数字电子技术基础》- 阎石 - 第3章逻辑代数基础工具在线布尔代数化简器练习完成至少10道布尔代数化简练习题