数字电子技术（二）逻辑代数基础

逻辑等式的证明
逻辑函数不同描述方法之间的转换
逻辑函数形式的变换
逻辑函数的化简

---

逻辑代数

基本运算

逻辑运算与普通代数运算的不同：
① 等号左侧为输出变量，右侧为输入变量
② 变量取值范围不同，输入和输出逻辑变量取值只能是0或1
③ 运算不同，逻辑代数是与、或、非运算

• 逻辑运算：当二进制代码表示不同的逻辑状态时，可以按一定的规则进行推理运算

• 逻辑代数基本运算：与、或、非 （常考）

• 与 Y = A·B
  或 Y = A+B
  非 Y = A’ or Y = Ā or Y = ~A

逻辑符号	真值表

• “与”、“或”、“非”是三种基本的逻辑关系，任何其他的逻辑关系都可以以它们为基础表示。
• 5个常用复合逻辑运算 （常考）

常用符合逻辑运算	表达式
与非	Y = (A·B) ’
或非	Y = (A+B) ’
与或非	Y = (A·B+C·D) ’
异或	Y = A ⊕ B = A’ B + A B’ （相同为0；不同为1） (偶数个变量取1时，输出为0；奇数个变量取1时，输出为1)
同或	Y = A⊙B= A’ B′ +A B = 异或取反

• 实现与逻辑运算的单元门电路——与门
• 实现或逻辑运算的单元门电路——或门
• 实现非逻辑运算的单元门电路——非门（反相器）

基本公式

基本公式的正确性可以用列真值表的方式加以验证

注意公式2，11
1·A=A 和 1+A=1
注意公式17（可用对偶定理求证，写出两边的对偶式）
A+BC=(A+B)(A+C)
注意公式8，18（德摩根定理)
(AB) ’ = A '+ B ’ 和 (A+B) = A ’ B ’

常用公式

熟练记忆，遮住等号后的结果，进行快速口答

注意公式2：吸收律

A（A+B）
=A + AB（转换为公式1）
=A·1 + A·B
=A（1 + B）
=A·1
=A

注意公式4：推导公式4利用基本公式17

A + A’B
= (A + A’)(A + B)
=1 · (A + B)
=A + B

注意公式5 当一个式子中出现了原变量及其反变量，则可以删去除此两项外的多余项

推导公式5需要带入BC=(A+A’)BC
AB+A’C+BC
=AB+A’C+(A+A’)BC
=AB+A’C+ABC+A’BC
=A(B+BC)+A’(C+BC)
=A(B(1+C))+A’(C(1+B))
=AB+A’C

注意公式6
某项和包含这一项的乘积项取反相乘时，这一项可删除
某项取反和包含这一项的乘积项取反相乘时，只保留这个某项
利用了德·摩根定理

A’(AB)’
=A’(A’+B’)
=A’A’+A’B’
=A’+A’B’
=A’(1+B‘)
=A’

基本定理

• 代入定理：在任何一个包含A的逻辑等式中，若以另外一个逻辑式带入式中A的位置，则等式依然成立
  A+BC=(A+B)(A+C)
  A+B(CD)=(A+B)(A+CD)=(A+B)(A+C)(A+D)
  

• 反演定理（简便求反方法）：所有变量都变
  原逻辑函数式求反（先括号、后与或，不属于单个变量上的反号应保留不变）
  将原逻辑函数式中的所有与变成或，或变成与，A变为A’（A’变为A）

• 对偶定理（映射证明，不是求反）：所有变量不变
  将原逻辑函数式中的所有与变成或，或变成与
  

---

逻辑函数

逻辑函数概念

“二值逻辑函数”
以逻辑变量为输入，运算结果为输出
当输入变量取值确定以后，输出的取值也随之而定
输入与输出都只有两种取值0/1.
输入和输出之间是一种函数关系
记为：Y=F(A,B,C…)

表示方法

1.真值表
真值表行数 = 2^n（指数n为输入变量个数，底数2为输入变量个数）
真值表列数=输入变量个数+输出变量个数

2.逻辑式
将输入/输出之间的逻辑关系用与/或/非的运算式进行表示
Y = ( AB + CD ) ’

3.逻辑图
用逻辑图形符号表示逻辑运算关系，与电路的实现相对应

4.波形图
将输入变量所有取值组合与对应输出，按时间顺序排列，画成波形

表示方法例题

• 裁判电路
  
  输入变量：用A,B,C=1/0，表示开关闭合/断开
  输出变量：用Y=1/0，表示灯亮/灭。

方法	表示
真值表
逻辑式	Y = A · ( B + C )
逻辑图
波形图

表示方法之间的转换

原表示	转换成	方法	备注
真值表	逻辑式	真值表中使 Y = 1 的输入变量取值组合（1/0，取原变量/反变量），写出乘积项后相加	常考
逻辑式	真值表	将输入变量所有取值组合，代入逻辑函数式，得出输出的值，填入真值表中	逻辑式在真值表与逻辑图之间起到桥梁作用
逻辑式	逻辑图	逻辑符号代替逻辑函数中的逻辑关系	与或非门器件不够 用德摩根定理转换
逻辑图	逻辑式	逐级依次列写
波形图	真值表	根据波形，列出各输入变量组合所对应的输出值
真值表	波形图	按照真值表的输入取值，以时间为横轴，画出输入输出的波形
波形图	逻辑图	波形图——真值表——逻辑式——逻辑图

• 逻辑式<——>卡诺图
  逻辑式利用（A+A’）展开为最小项之和
  画出最小项的卡诺图，在函数式中包含的最小项对应的位置上填入1，其余位置上填入0，无关项上填入x（表示填入0/1均可）

两个标准形式

一种逻辑关系可以有多种等效表达式，所以引入标准形式：
标准与或式（最小项标准型）
标准或与式（最大项标准型）

最小项之和（输出为1的可能性小）

• 最小项 ：与项，对于n个变量的逻辑函数有2^n个最小项（与真值表的行数一致），每一项中每个变量必须出现一次且仅一次（以原变量或反变量出现）
  m的角标由ABC排列二进制数化十进制决定
  
• 最小项的性质
  • 在输入变量任意取值下，有且仅有一个最小项的值为1
  • 全体最小项之和为1
  • 任何两个最小项之积为0
  • 相邻两个最小项(仅一个变量不同)之和可以合并，消去一对因子（利用公式A+A’=1）
• 化标准与或式——>最小项之和
  • 利用公式 A+A'=1 和 A(B+C)=AB+AC 补全缺少的因子，得到最小项标准型
  • 某项m的角标为：从A~N，原变量取1，反变量取0，写出的二进制数转十进制
    

最大项之积（输出为1的可能性大）

• 最大项：或项，对于n个变量的逻辑函数有2^n个最大项，与最小项定义一样
  

• 最大项的性质：

  • 在输入变量任一取值下，有且仅有一个最大项的值为0
  • 全体最大项之积为0
  • 任何两个最大项之和为1
  • 相邻两个最大项(仅一个因子不同)之积可以合并，消去一对因子

• 化或与式——>最大项之积

  • 利用 AA'=0 和 A+BC=(A+B)(A+C) 补全缺少的因子，得到最大项标准型
  • 某项M的角标为：从A~N，原变量取0，反变量取1，写出的二进制数转十进制
    

最小项和最大项的关系

• 式子1（mi）’ = Mi；mi =（Mi）’
• 式子2（∑mi）’ = ∑mk（k≠i）；（ΠMi）’ = ΠMk（k≠i）
• 式子3（∑mi）’ = ΠMi
• 由以上式子得 ∑mi = ΠMk（k≠i）
• 最小项之和与最大项之积转换计算公式
Y + Y' = 1
Y = ∑mi = ΠMk（k≠i）
Y' = ∑mk（k≠i） = ΠMi
• 真值表：
  最小项标准型看输出为1：与或式（原变量取1，反变量取0）
  最大项标准型看输出为0：或与式（反变量取1，原变量取0）

求逻辑式的两种标准式（常考）
求出标准与或式（最小项之和）
再利用两者关系求出标准或与式（最大项之积）

---

逻辑函数的化简方法

化简目标：最简与或式
（包含的乘积项最少，每个乘积项的因子也最少）

公式化简法

反复应用基本公式和常用公式，消去多余的乘积项和多余的因子 （根本：合并、吸收、消项、消因子、配项）

卡诺图化简法

• 卡诺图（Karnaugh Map）
  逻辑函数最小项之和的一种图形表示：
  用2^n个小方格——n变量的最小项——排列成矩阵，使几何位置相邻的两个最小项在逻辑上也是相邻的

• 卡诺图表示方法
  关于中轴左右/上下对折来理解边角相邻性
  确保“逻辑相邻”和“几何相邻”是一致的
  

• 相邻关系：

  • 相接，上下/左右紧挨着
  • 相对，任意一行或一列的两端
  • 相重，对折起来位置重合

• 卡诺图表示逻辑函数

  • 将逻辑函数表示为最小项之和的形式Σm（与或式）
  • 在卡诺图上这些最小项对应的方格上填入1，其余为0或不填（原变量为1，反变量为0）
  • 例：Y(A,B,C,D)=A’B’C’D+A’BD’+AB’+ABCD
    

• 卡诺图化简步骤
  

• 合并后的与项
  
  左图：可推AB’C’+ABC’=AC’(B’+B)=AC’从图中也可以看出，左下角与右下角的B分别为0、1相消，而A取1、C取0没变，故为AC’
  右图：CD取01即C’D且一直没变，AB中B取1一直没变，A的0、1相消，故为BC’D
  
  中间：BD（4个全为1则保留）
  四个角：B’D’（A、C各自0、1相消）
  圈和圈之间可以重叠，因为A·A=A，但是重复圈1会多余

例题与思考

上图中可以圈0——得到A’B’D+A’BD=A’D——再取反为A+D’

• 圈0后取反，更简便
• 最佳化简：矩形圈最大，矩形数最少
• 思考：诺图中有几个1时，可以确定一定能化简？
  无法化简的情况，类似棋盘状
  变量个数=2，至少有3个1，才能确定一定能化简
  变量个数=3，至少有5个1，才能确定一定能化简
  变量个数=4，至少有9个1，才能确定一定能化简
  …
  即卡诺图中至少有2^(n-1)+1个1时（类似于按棋盘格的方式取1，n为变量个数）一定能化简

具有无关项的逻辑函数化简

• 合理利用无关项，可得更简单的化简结果
• 无关项：约束项&任意项（可以写入逻辑式，也可以不写入，不影响逻辑式运算）
  
  
• 约束项：对输入变量的取值有限制，这些被限制的取值对应的最小项
  举例：银行输密码用户输入用十进制0 ~ 9；机器判断用二进制中的0000 ~ 1001，其中1010 ~1111这六位为约束项
• 任意项：输入变量某些取值下，函数值为1或0不会影响逻辑电路的功能，这些取值对应的最小项成为任一项