逻辑函数卡诺图化简

注意：卡诺图水平方向同一行首尾，同一列 首尾也为逻辑相邻相。
m0 与 m1 、 m2 逻辑相邻。
三变量卡诺图
四变量卡诺图
圆柱面
m0 与 m1 m2 m4 m1 与 m0 m3 m5
球面
均为逻辑相邻 均为逻辑相邻
m0 与 m1 m2 m4 m8 均为逻辑相邻 m1 与 m0 m3 m5 m9 均为逻辑相邻
(1) 在卡诺图构成过程中，变量的 取值按格雷码的顺序排列。 二变量卡诺图
格雷码：相邻两个代码之间只有一位发生变化
B0 A
1
0 m0 m1
1 m2 m3
平面表格
(2) 卡诺图两侧标注的数值代表 的二进制数对应的十进制数即为 格中对应的最小项编号。 (3) 几何位置相邻的最小项也是 逻辑相邻项。 (4) 卡诺图是上下、左右闭合的 图形。
二、用卡诺图表示逻辑函数
由于任何一个逻辑函数都能表示为若干最小 项之和的形式，所以自然也就可以用卡诺图表示 逻辑函数了。 1、逻辑函数→卡诺图 (1) 最小项法 ① 将逻辑函数化为最小项表达式； ② 在卡诺图上与这些最小项对应的位 置上填入1，在其余位置填入0或不填。 这样就得到了表示该逻辑函数的卡诺图。
例1：
Y = ABC + ABC ′ + AB′ = AB(C + C ′) + AB′ = AB + AB′ = A
例2
ABC + A′ + B′ + C ′ ′ = ABC + ( ABC ) = 1 A′BC ′ + AC ′ + B′C ′
例3
= A′BC ′ + ( A + B′)C ′ ′ = A′BC ′ + ( A′B ) C ′ = C ′

利用卡诺图化简逻辑函数的基本原理
1.“相邻”的判断
⑴相邻最小项：任意两个最小项中只有一个变量不同(同一变量名但一个为原变量，另一个为反变量)，其余变量完全相同，在图上反映的是两个相邻的小方格。

⑵卡诺图相邻小方格：是指只隔一条边界的两个小方格。

在n变量的卡诺图上，每个小方格具有n个相邻的小方格，它们是：•具有共同边界的小方格(几何相邻)
•同一幅卡诺图中分别处于行(或列)两端的小方格
(相对相邻)
•在相邻两幅卡诺图中，处于相同位置的两个小方格
(相重相邻)
2画卡诺圈的原则
寻找相邻块的目的是为了在图上进行函数化简。

•任何2i个（i≤n）标1的相邻小方格均可画在一个卡诺圈内；
•任何2i个标1的非相邻的小方格不能画入一个卡诺圈内，它们至少画在两个圈内。

下面看几种情况的例子：。

= AB(C + C ) + ABC + ABC = ABC + ABC + ABC + ABC
=m7+m6+m3+m5=∑m（3,5,6,7）
（三）卡诺图的结构 （1）二变量卡诺图 ）
（2）三变量卡诺图 ）
B m0 ABC A m4 ABC m1 ABC m5 ABC C (a) m3 ABC m7 ABC m2 ABC m6 ABC A 0 1 0 4 1 5 3 7 2 6 BC 00 01 11 10
总之， 个相邻的最小项结合， 个取值不同的变量而合并为l 总之，2n个相邻的最小项结合，可以消去n个取值不同的变量而合并为l项。
2．用卡诺图合并最小项的原则（画圈的原则） 用卡诺图合并最小项的原则（画圈的原则）
（1）尽量画大圈，但每个圈内只能含有2n（n=0,1,2,3……）个相邻项。 =0,1,2,3…… 个相邻项。 ……） 尽量画大圈，但每个圈内只能含有2 要特别注意对边相邻性 四角相邻性。 对边相邻性和 要特别注意对边相邻性和四角相邻性。 （2）圈的个数尽量少。 圈的个数尽量少。 （3）卡诺图中所有取值为1的方格均要被圈过，即不能漏下取值为1的最 卡诺图中所有取值为1的方格均要被圈过，即不能漏下取值为1 小项。 小项。 （4）在新画的包围圈中至少要含有1个末被圈过的1方格，否则该包围圈 在新画的包围圈中至少要含有1个末被圈过的1方格， 是多余的。 是多余的。
知识点导入
通过第三讲的学习，我们已经学会了如 何使用代数法来化简逻辑函数，从而使逻 辑电路达到最简洁合理。 这一讲我们将学习逻辑函数的另一种化 简方法——卡诺图化简法，同样可以得到 简方法——卡诺图化简法，同样可以得到 最简逻辑函数，并设计出最简逻辑电路图。

101
0
110
0
1 2020/8/14 1 1
1
14
练习：三变量表决逻辑真值表填入卡诺图
ABC
Y
000
0
001
0
010
0
011
1
100
0
101
1
110
1
111
1
2020/8/14
15
（2）从最小项表达式画卡诺图 把表达式中所有的最小项在对应的小方块中填
入1，其余的小方块中填入0。
例4： 画出函数Y(A、B、C、D)= ∑m(0,3,5,7,9,12,15) 的卡诺图。
① 无关项的概念
对应于输入变量的某些取值下，输出函数的值可 以是任意的(随意项、任意项)，或者这些输入变量的 取值根本不会（也不允许）出现(约束项)，通常把这 些输入变量取值所对应的最小项称为无关项或任意项， 在卡诺图中用符号“×”表示，在标准与或表达式中用 ∑d（ ）表示。
例：当8421BCD码作为输入变量时，禁止码1010～ 1111这六种状态所对应的最小项就是无关项。
相邻 相邻
② 几何相邻的必须
逻辑相邻：变量的 取值按00、01、11、 10的顺序（循环码 ） 排列 。
图1-11 三变量卡诺图的画法
2020/8/14
12
不 相邻
相邻
相邻
图1-12 四变量卡诺图的画法
正确认识卡诺 图的“逻辑相邻”： 上下相邻，左右相 邻，并呈现“循环 相邻”的特性，它 类似于一个封闭的 球面，如同展开了 的世界地图一样。
复习：
真值表--逻辑表达式（化简）--逻辑电路图
例：三变量表决逻辑 Y=？ 逻辑图？
2020/8/14