逻辑代数

3317 words 13 min read

Mar 27, 2026

Note: This page does not support English, using the default language version

数字逻辑电路基础:逻辑代数、化简方法与解题心法

本文档整合了逻辑代数的基本概念、公式定律、标准形式、化简方法(公式法与卡诺图法)以及实战解题心法。适用于数字电路设计与分析的学习笔记,旨在帮助读者建立系统的逻辑思维与高效的解题技巧。


第一章 逻辑代数基础

1.1 逻辑代数概述

逻辑代数是分析和设计数字电路的基本工具。

  • 逻辑变量:用字母 A,B,CA, B, C \dots 表示,取值只有 01 两种状态。
  • 逻辑状态:0 和 1 不代表数量大小,只代表两种对立的逻辑状态(如开关的断/合、电平的低/高)。
  • 运算优先顺序:先括号,其次乘(与),最后加(或)。

1.2 三种基本逻辑运算

逻辑运算符号逻辑表达式真值表规则逻辑门符号
与 (AND)\cdotF=ABF = A \cdot B全 1 为 1,有 0 为 0&
或 (OR)++F=A+BF = A + B有 1 为 1,全 0 为 0≥1
非 (NOT)ˉ\bar{}F=AˉF = \bar{A}输入相反1 (带圈)

复合逻辑运算

  1. 与非 (NAND): F=ABF = \overline{A \cdot B} (先与后非,全 1 为 0,有 0 为 1)
  2. 或非 (NOR): F=A+BF = \overline{A + B} (先或后非,全 0 为 1,有 1 为 0)
  3. 与或非 (AND-OR-INVERT): F=AB+CDF = \overline{AB + CD}
  4. 异或 (XOR): F=AB=AˉB+ABˉF = A \oplus B = \bar{A}B + A\bar{B} (相异为 1,相同为 0)
  5. 同或 (XNOR): F=AB=AB+AˉBˉF = A \odot B = AB + \bar{A}\bar{B} (相同为 1,相异为 0)
    • 注:异或与同或互为反函数,AB=ABA \oplus B = \overline{A \odot B}

1.3 逻辑函数的表示方法

  1. 真值表:列出输入变量所有取值组合及其对应的输出值。
  2. 逻辑表达式:用运算符号表示输入输出关系。
  3. 逻辑图:用逻辑门符号连接而成的电路图。
  4. 工作波形图:用波形表示输入输出的时间关系。

相互转换方法:

  • 真值表 \to 表达式
    • 最小项之和:取输出为 1 的行,变量取 1 写原变量,取 0 写反变量,相乘后相加。
    • 最大项之积:取输出为 0 的行,变量取 0 写原变量,取 1 写反变量,相加后相乘。
  • 表达式 \to 真值表:将输入组合代入表达式计算。
  • 表达式 \leftrightarrow 逻辑图:运算符号与门电路符号对应替换。

第二章 逻辑代数的基本定律与规则

2.1 基本公式定律手册

定律名称公式 1公式 2运用场景/口诀
0-1 律A+1=1,A+0=AA + 1 = 1, A + 0 = AA0=0,A1=AA \cdot 0 = 0, A \cdot 1 = A消除常数项,判断恒值。
互补律A+Aˉ=1A + \bar{A} = 1AAˉ=0A \cdot \bar{A} = 0最常用。消去变量或凑 1 展开。
重叠律A+A=AA + A = AAA=AA \cdot A = A合并相同项。
还原律A=A\overline{\overline{A}} = A-双重否定变肯定。
交换律A+B=B+AA + B = B + AAB=BAA \cdot B = B \cdot A调整顺序,发现公因子。
结合律A+(B+C)=(A+B)+CA + (B + C) = (A + B) + CA(BC)=(AB)CA \cdot (B \cdot C) = (A \cdot B) \cdot C改变优先级,方便分组。
分配律A(B+C)=AB+ACA \cdot (B + C) = AB + ACA+BC=(A+B)(A+C)A + BC = (A + B)(A + C)正向:展开;逆向:提取公因子。
反演律 (摩根)A+B=AˉBˉ\overline{A + B} = \bar{A} \cdot \bar{B}AB=Aˉ+Bˉ\overline{A \cdot B} = \bar{A} + \bar{B}长非号斩断。乘变加,加变乘。
吸收律 1A+AB=AA + AB = AA(A+B)=AA(A + B) = A大鱼吃小鱼。有单独 AA,含 AA 项被吸收。
吸收律 2A+AˉB=A+BA + \bar{A}B = A + BA(Aˉ+B)=ABA(\bar{A} + B) = AB原尊赶替身AA 在,Aˉ\bar{A} 多余,直接删。
合并律AB+ABˉ=AAB + A\bar{B} = A-互补合并。提取公因子后,B+Bˉ=1B+\bar{B}=1
冗余律 (共识)AB+AˉC+BC=AB+AˉCAB + \bar{A}C + BC = AB + \bar{A}C(A+B)(Aˉ+C)(B+C)=(A+B)(Aˉ+C)(A+B)(\bar{A}+C)(B+C) = (A+B)(\bar{A}+C)三人行必有一废。第三项是拼凑项,可删。

2.2 三个重要规则

  1. 代入规则:等式中某变量可用任意逻辑函数替换,等式仍成立。
  2. 反演规则:求原函数 FF 的反函数 Fˉ\bar{F}
    • 变换:+\cdot \leftrightarrow +010 \leftrightarrow 1,原变量 \leftrightarrow 反变量。
    • 注意:不属于单个变量上的反号保持不变,运算顺序不变(加括号)。
  3. 对偶规则:求对偶式 FF'
    • 变换:+\cdot \leftrightarrow +010 \leftrightarrow 1变量保持不变
    • 用途:若 F=GF=G,则 F=GF'=G',可减少证明工作量。

第三章 逻辑函数的标准形式

3.1 最小项 (Minterm)

  • 定义:n 个变量的与项,每个变量以原变量或反变量形式出现一次且仅一次。
  • 性质
    1. 任意取值下,只有一个最小项为 1。
    2. 全体最小项之和为 1 (mi=1\sum m_i = 1)。
    3. 任意两个最小项之积为 0 (mimj=0m_i \cdot m_j = 0)。
    4. 相邻最小项(仅一个变量不同)可合并消去该变量。
  • 标准与 - 或式F=m(i,j,k)F = \sum m(i, j, k \dots)

3.2 最大项 (Maxterm)

  • 定义:n 个变量的或项,每个变量以原变量或反变量形式出现一次且仅一次。
  • 性质
    1. 任意取值下,只有一个最大项为 0。
    2. 全体最大项之积为 0 (Mi=0\prod M_i = 0)。
    3. 任意两个最大项之和为 1。
  • 标准或 - 与式F=M(i,j,k)F = \prod M(i, j, k \dots)

3.3 最小项与最大项的关系

  • 下标相同,互为反演:mi=Mim_i = \overline{M_i}mi=Mi\overline{m_i} = M_i
  • 下标互补:mi=Mk\sum m_i = \prod M_k (其中 kkii 的补集)。
  • 转换技巧:知道一种形式可以直接写出另一种。例如 F=m(0,1)F = \sum m(0, 1),则 Fˉ=m(2,3)\bar{F} = \sum m(2, 3)F=M(2,3)F = \prod M(2, 3)

第四章 逻辑函数的化简方法

4.1 公式化简法与解题心法

掌握公式后,关键在于识别题目中的“结构特征”,从而快速调用公式。

1. 结构一:“大家都有同一个字母”

  • 对应公式:分配律逆向(提取公因子)
  • 怎么用:看到一长串式子里,有好几项都包含同一个变量(比如都有 AA 或者都有 Aˉ\bar{A}),先把它们提出来。
  • 目的:提取后,括号里经常会出现 B+BˉB + \bar{B} 或者 BBˉB \cdot \bar{B},从而瞬间消灭掉一大堆变量。

2. 结构二:“大鱼吃小鱼”

  • 对应公式:吸收律 (A+AB=AA + AB = A)
  • 怎么用:看到一个单独的变量(比如 AA),加上另一项里 完全包含 这个变量(比如 ABABABˉA\bar{B})。
  • 口诀:“有单独的 AA 在,凡是带着 AA 的乘积项全都是废话,直接被 AA 吸收掉。”

3. 结构三:“冤家路窄”

  • 对应公式:消去律 (A+AˉB=A+BA + \bar{A}B = A + B)
  • 怎么用:看到一个单独的变量(比如 AA),加上另一项里带有它的 死对头(反变量 Aˉ\bar{A})。
  • 口诀:“原尊在此,替身滚蛋。”那个反变量 Aˉ\bar{A} 是多余的,直接把它抹掉,留下剩下的部分。

4. 结构四:“连体长屋顶”

  • 对应公式:德·摩根定律
  • 怎么用:只要看到横跨两个或更多变量的“长横线”,第一反应就是用德摩根定律把它“斩断”。
  • 口诀:“断开长线,变号(乘变加,加变乘)。”

5. 结构五:“首字母相同的两个括号相乘”

  • 对应公式:分配律的逆用 ((A+B)(A+C)=A+BC(A+B)(A+C) = A + BC)
  • 怎么用:遇到括号乘括号时,先看看这两个括号有没有 共同的开头。如果有,直接提取这个相同的开头,加上另外两个不同项的乘积。

6. 结构六:“三人行,必有一废”

  • 对应公式:冗余律 (一致定理) (AB+AˉC+BC=AB+AˉCAB + \bar{A}C + BC = AB + \bar{A}C)
  • 怎么用:寻找三个乘积项,其中两项包含一对“正反变量”,第三项恰好是前两项去掉正反变量后剩下部分的乘积。
  • 结论:这个第三项是废话,直接划掉!反向使用:在证明题中,有时需要 无中生有 地加上这个多余的项 BCBC,作为“桥梁”去和其他项结合化简。

4.2 卡诺图化简法 (K-Map)

利用图形相邻性化简,直观方便,适用于 5 变量以内。

1. 卡诺图构成

  • 方格数nn 变量有 2n2^n 个小方格,对应最小项。
  • 排列规则:循环码(Gray Code),保证几何相邻即逻辑相邻(只有一个变量不同)。
  • 相邻性:相接、相对(首尾)、相重(对折)。

2. 填图方法

  • 真值表/最小项:对应最小项方格填 1,其余填 0。
  • 与 - 或表达式:观察公因子,确定对应方格填 1。
  • 最大项之积:对应最大项方格填 0,其余填 1。
  • 无关项:填 ×\timesdd

3. 化简步骤

  1. 画卡诺图并填值。
  2. 画合并圈
    • 圈大小为 2i2^i (1, 2, 4, 8…)。
    • 圈越大越好(消去变量多)。
    • 圈数越少越好(与项少)。
    • 所有 1 必须被覆盖,可重复覆盖,但每个圈必须包含至少一个未被圈过的 1。
  3. 写表达式
    • 圈内变量取值不变的保留(1 写原变量,0 写反变量),变化的消去。
    • 将所有圈对应的与项相加。

4.3 无关项 (Don’t Care) 的应用

  • 概念:约束项、任意项。输入变量某些组合不会出现,或对输出无影响。
  • 处理:化简时可根据需要当作 1 或 0,以利于合并圈扩大。
  • 示例:8421BCD 码表示十进制数,当 X5X \ge 5 时输出 1。输入 10101111 (1015) 为无效码,作为无关项 ×\times。利用无关项可显著简化表达式。

4.4 特殊形式的化简与实现

1. 仅原变量输入化简

  • 背景:实际电路中可能只提供原变量,不提供反变量。
  • 方法
    • 头部因子与尾部因子:乘积项中不带反号部分为头部,带反号部分为尾部。
    • 尾部代替:利用 A=A(B+Bˉ)A = A(B + \bar{B}) 扩展尾部,寻找公共项以减少非门。
    • 目标:减少与非门数量,共用公共项。

2. 多输出函数化简

  • 原则:不仅追求单个函数最简,更要追求系统整体最简。
  • 方法:寻找多个输出函数之间的公共项,共享逻辑门。

3. 逻辑门实现转换

  • 与 - 或 \to 与非 - 与非:两次求反,利用摩根定律。 F=AB+CD=AB+CD=ABCDF = AB + CD = \overline{\overline{AB + CD}} = \overline{\overline{AB} \cdot \overline{CD}}
  • 或 - 与 \to 或非 - 或非:两次求反。
  • 与 - 或 \to 与或非:圈卡诺图的 0 格,求反后得到。

第五章 做题的整体思维流程

5.1 观察求什么?

  • 求 最小项表达式
    • 就把式子全部展开变成“乘积项相加”(与或式)。
    • 缺哪个字母就乘以 (X+Xˉ)(X + \bar{X}) 补齐。
  • 求 对偶式
    • 与变或,或变与。
    • 0 变 1,1 变 0。
    • 字母不动,头上横线不动
  • 求 反演式
    • 先求对偶式。
    • 再把 每个字母头上加横线(或去掉横线)(即变量取反)。

5.2 化简/证明通用步骤

  1. 先去长非号:见到长横线优先用德摩根定律断开,化为基本与或形式。
  2. 括号处理:括号能不展开就不展开,找首字母相同的直接用公式(结构五)。
  3. 提取公因子:展开后,疯狂寻找公因子提取(结构一)。
  4. 套用定理:提取完看看有没有“大鱼吃小鱼”(吸收律)、“原尊赶替身”(消去律)。
  5. 高级技巧:实在卡住了,瞪大眼睛找有没有“三人行”(冗余律),或者尝试“无中生有”加项。
  6. 异或处理:遇到 \oplus\odot 绕晕时,直接拆成 ABˉ+AˉBA\bar{B} + \bar{A}B 形式再化简。

第六章 典型例题与推导

6.1 公式法证明包含律

公式AB+AˉC+BC=AB+AˉCAB + \bar{A}C + BC = AB + \bar{A}C 推导

左边=AB+AˉC+BC1=AB+AˉC+BC(A+Aˉ)(互补律)=AB+AˉC+ABC+AˉBC=AB(1+C)+AˉC(1+B)(分配律)=AB1+AˉC1(1+X=1)=AB+AˉC=右边\begin{aligned} \text{左边} &= AB + \bar{A}C + BC \cdot 1 \\ &= AB + \bar{A}C + BC(A + \bar{A}) \quad (\text{互补律}) \\ &= AB + \bar{A}C + ABC + \bar{A}BC \\ &= AB(1 + C) + \bar{A}C(1 + B) \quad (\text{分配律}) \\ &= AB \cdot 1 + \bar{A}C \cdot 1 \quad (1 + X = 1) \\ &= AB + \bar{A}C = \text{右边} \end{aligned}

6.2 卡诺图化简示例

函数F(A,B,C,D)=m(0,2,3,5,7,8,10,11,13)F(A,B,C,D) = \sum m(0, 2, 3, 5, 7, 8, 10, 11, 13) 步骤

  1. 画出 4 变量卡诺图。
  2. 在对应最小项位置填 1。
  3. 画圈合并(注意利用相邻性和包围圈最大化)。
  4. 写出最简与 - 或式。

6.3 无关项化简示例

问题:8421BCD 码表示十进制数,当 X5X \ge 5 时输出 1。 分析

  • 输入为 4 位二进制,但 10101111 (1015) 为无效码,作为无关项 ×\times
  • 填图时,将 m5,m6,m7,m8,m9m_5, m_6, m_7, m_8, m_9 填 1,m10m15m_{10} \sim m_{15}×\times
  • 画圈时可将 ×\times 当作 1 以扩大圈的范围。
  • 结果:利用无关项可显著简化表达式。

附录:作业与练习重点

  1. 公式化简:熟练掌握吸收律、包含律、摩根定律。
  2. 卡诺图:掌握 2~4 变量卡诺图的画法、填法及圈图原则。
  3. 无关项:理解约束条件,灵活运用 ×\times 进行化简。
  4. 电路实现:能够将最简式转换为与非门、或非门电路。
  5. 标准形式:能够互转最小项之和与最大项之积。
逻辑代数
https://shi-tou1234.github.io/-/en/blog/逻辑代数/
Author
shi-tou1234
Published on
Mar 27, 2026
License
CC BY-NC-SA 4.0