- 1、下载文档前请自行甄别文档内容的完整性,平台不提供额外的编辑、内容补充、找答案等附加服务。
- 2、"仅部分预览"的文档,不可在线预览部分如存在完整性等问题,可反馈申请退款(可完整预览的文档不适用该条件!)。
- 3、如文档侵犯您的权益,请联系客服反馈,我们会尽快为您处理(人工客服工作时间:9:00-18:30)。
KM的每个单元对应唯一一个最小项 任何相邻(上下左右)的两个单元对应的最小项只有一个变量分别取0 和1, 其它变量都相同,所以如果这两个单元都为1, 那么可以消除这个 变量 (KM的相邻特性) 每行和每列的首尾两个单元仍具有相邻特性, 矩形对角的四个单元也 具有相邻特性 (KM的循环邻接特点)
00
01
11
10
00 01 11 10 1 1 1 1
00 1 x x 01 11 10 1 1 1 1 1 1 1
x x x
(1)
(2)
从练习4中你发现了什么? Hint: 逻辑函数的最简式不是唯一的!
comparator
X>Y
max(X, Y)
mux
mux mux
min(X, Y)
《数字电路》讲义
第2讲 逻辑代数和逻辑函数的化简方法
教学内容: 教材第2章的2.1和2.2节 教学目的: 掌握逻辑代数的基本规则和定律, 以及逻辑函数的化简方法 要 求: 重点掌握逻辑代数的基本定律和逻辑函数的化简方法 难 点: 卡诺图法化简逻辑函数
00
01 0
11 0
10
得到非函数 L I1 I 2 I 3 , 由 Mogen 定理得 L I1 I 2 I 3
用KM法化简逻辑函数
I3 0 0 0 0 I2 0 0 1 1 I1 0 1 0 1 L 0 1 1 1 I3 1 1 1 1 I2 0 0 1 1 I1 0 1 0 1
11
10
00
1
01
11
10 1
00
1
01
11
10 1
00 √ 0 01 11 1
3
12 √ 8
√ √
5 7 613 15Fra bibliotek9 11
1 1
1 1
1 1
1 1 1
10 √ 2
14 √10
Step 3
最简的逻辑函数L I1 I 3 I1 I 3
注意: 写乘积项时, 还有些技巧, 你发现了吗? Hint: 哪些变量的原和非都在包围圈内?
用KM法化简逻辑函数
I4 I3 I2 I1 00 01 4
√ √ √
示例2
化简 L(I4, I3, I2, I1)=∑m(0~3, 5~11, 13~15)
11 10 I4 I3 I2 I1 00 01 11 10 00
1
01
11
10 1
I4 I3 I2 I1 00 01 11 10
00
1
01
11
练习1和2
已知L的真值表如下, 用KM法给出其最简逻辑函数
L 1 0 0 1
用KM法写出L的最简表达式
L ABCD D( BC D) ( A C ) B D A( B C )
L I 4 I 3 I 2 I1 I 1 ( I 3 I 2 I 1 ) ( I 4 I 2 ) I 3 I1 I 4 ( I 3 I 2 )
m0
C m2 m3 m6 m7
C m4 m5 C
10 0010 0110 1110 1010 AB 00 CD 00 01 4 5 11 10
0
m1
01 4 5 7 6
11 12 13 15 14
10 8 9 11 10
C 0 D 1 2 3 D
0
1
3
2 3
6 7
1
2
讨论下面问题? : (1)这里的画法和教材 的方法有区别. 它们等 价吗? 一个特定逻辑 函数的KM是唯一的 吗? Hint:p.51第1行 (2) 标出3变量KM中的 属于B变量的单元; (3) 标出4变量的KM中 每个原变量的单元; (4) 从其中发现什么规 律? 5变量(变量名为 ABCDE)的KM应该怎 么画? Hint: 2张图
逻辑代数的基本定律
与一般代数相似, 逻辑代数有以下自明的基本定律
0-1律: A+0=A, A+1=A, A+A=A, A+A=1, A·0=0, A·1=A, A·A=A, A·A=0 结合,
交换和分配律
Mogen定理 (证明见p.41表2.1.2)
A B C A B C A B C A B C
KM法的三步中, 画包围圈最关键, 要遵循以下原则
牢记KM的循环邻接特点, 尤其是矩形对角和行/列首尾单元 任意单元可以位于2个或更多不同的包围圈内, 包围圈内的单元数必 定为2n个, n=0( 0(即无相同邻项的孤项), ) 1 1, 2 2, … 每个包围圈内的单元数尽可能多, 并且让最终的包围圈个数尽可能少 (因为: 越大的包围圈, 被消除的变量越多; 越少的包围圈个数, 或项越少) 如果KM包含某些无关的最小项, 尽可能利用无关项扩大包围圈
2 n 1
最小项的性质
用最小项表示逻辑函数 L( I n ,, I1 ) i 0 mi
其中In, …, , I1为降序排列的n个输入变量 mi为最小项编号, i
n
k 1 I 2 k 1 k
因为“0+1=1”, “0+1=1” 一般略去为0的最小项, 简写如L(I3, I2, I1)=∑m(1,5,7) (1 5 7)
反演规则应用
示例
写出 L A BC D E 的非函数, 并验证之 解 L A ( B C ) DE A B C D E L /L 用真值表来验证 用真值表来验
0 0 0 0 1 0 0 0 0 1 1 0 0 0 0 1 1 0 0 1 1 … 1 1 0 1 1 1 0 0 1 0 1 0 1 1 0 1 1 0 1 0 0
I1 0 1 0 1 0 1 0 1
L 0 1 1 1 0 1 0 1
I4 1 1 1 1 1 1 1 1
I3 0 0 0 0 1 1 1 1
I2 0 0 1 1 0 0 1 1
I1 0 1 0 1 0 1 0 1
L 0 0 0 1 0 1 0 0
用KM表示逻辑函数的特点
逻辑函数真值表的另一种图形表示, KM有以下特性
已知逻辑函数或真值表画KM
(1) 逻辑函数为L ( I 3 I1 ) I 2,给出其KM (2) 逻辑函数L的真值表如下,给出其KM
Input Output Input Output
练习
I4 0 0 0 0 0 0 0 0
I3 0 0 0 0 1 1 1 1
I2 0 0 1 1 0 0 1 1
10 1
00 √ 0 01 √ 1 11 √ 3 10
√
12 √ 8
√
5 7 6
13 √ 9 15 √11 14
√
1
1
1 1 1
1 1 1
1 1 1
1
1
1 1 1
1 1 1
1 1 1
√ √
2
10
1
1
I4 I3 I2 I1 00 01 11 10
00
01 0
11 0
10
I4 I3 I2 I1 00 01 11 10
用KM表示逻辑函数
基本方法
Karnaugh maps(KM)是用图形方法表示逻辑函数的真值表 2 3和4个变量逻辑函数的KM表示及其形成过程如下 2,3
C D 0 1 0 00 01 1 10 11 BC 00 01 11 10 D 0 000 010 110 100 1 001 011 111 101 AB 00 CD 01 11 10 00 0000 0100 1100 1000 01 0001 0101 1101 1001 11 0011 0111 1111 1011 C D D m0 m1 C m2 m3 D D
吸收律
A AB A, AA B A, A AB A B, ( A B) ( A C ) A BC AB AC BC AB AC, AB AC BCD AB AC
逻辑代数的基本规则
逻辑代数运算优先级: 先括号, 再是与, 最后是或 (简记为先乘后加) 逻辑等式两边的任意变量用 个逻辑函数代替, 等式仍成 逻辑等式两边的任意变量用一个逻辑函数代替 立, 称这个性质为代入规则 根据Mogen定理, 已知原函数L, 其对应的非函数是将原函数 表达式中的“与变或, 或变与”, 再将“原变量变为非变量, 非 变量变为原变量”, 并将“1变0, 0变1”所得到的表达式, 称这 个规则为反演规则 (注意操作顺序,且保持非变量以外的非不变) 已知逻辑函数L, 将L中的“与变或, 或变与”, 并将“1变0, 0变 1”所得到的表达式, 称为L的对偶, 记为L’. 如果某逻辑等式 成立, 则等式两边的对偶式仍相等, 称这种规则为对偶规则
用KM法化简逻辑函数
Step 1
I4 I3 I2 I1 I4 I3 I2 I1 00 01 11 10 1
示例1
化简 L(I4, I3, I2, I1)=∑m(0, 2, 5, 7, 8, 10, 13, 15)
Step 2
I4 I3 I2 I1 00 01 11 1 10 1
00
01 4
√ √
请你给出验证结果. 再用 与门, 或门,非门画出逻辑 电路.
? 问: 对上述的逻辑函数, 假设只用“或非门”元件, 我们该如何做?
Karnaugh maps相关的概念
逻辑变量的最小项(某些参考书上称其对偶项为 “最大项”)
n个逻辑变量有2n个最小项(每一项中每个变量的原/非变量仅出现一次) 任意最小项, 输入变量只有一组值可以使其为1, 该值使其它所有最 小项为0. 因此, 无论输入变量取何值, 任意两个最小项之积为0; 全体 最小项之和为1