Professional Documents
Culture Documents
Untitled
Untitled
§2.1 逻辑代数的基本概念
§2.2 逻辑代数的基本定理和规则
§2.3 逻辑函数表达式的形式与变换
§2.4 逻辑函数的化简
2021年9月24日星期五 1
§2.1 逻辑代数的基本概念
• 逻辑代数=布尔代数=开关代数
• 解决逻辑问题的理论方法,与布尔、香农有关
• 逻辑代数:有一个逻辑变量集K,常量0和1以及“或”、
“与”、“非”三种基本运算构成。满足以下公理:
– 交换律
– 结合律
– 分配律
– 0-1律
– 互补律
2021年9月24日星期五 2
A+B=B+A
A•B=B•A
• 公理1 交换律(Commutative Properties)
(A+B)+C=A+(B+C)
(A•B)•C=A•(B•C)
A+(B•C)=(A+B)•(A+C)
• 公理2 结合律(Associative Properties)
A•(B+C)=A•B+A•C
• 公理3 分配律(Distributive Properties)
A+0=A A•1=A
• 公理4 0-1律(0-1 Property)
A+1=1 A•0=0
• 公理5 互补律(Complement Property)
A+A=1 A•A=0
2021年9月24日星期五 3
一、逻辑变量及基本逻辑运算
二、逻辑函数及逻辑函数间的相等
三、逻辑函数的表示方法
2021年9月24日星期五 4
一、逻辑变量及基本逻辑运算
逻辑代数(又称布尔代数),它是分析和设计
逻辑电路的数学工具。虽然它和普通代数一样也用
字母表示变量,但变量的取值只有“0”,“1”两种,
分别称为逻辑“0”和逻辑“1”。这里“0”和“1”并
不表示数量的大小,而是表示两种相互对立的逻辑
状态。
逻辑代数是一种二值代数系统,表示的是逻辑关
系,而不是数量关系,这是它与普通代数的本质区
别。
2021年9月24日星期五 5
一、 基本逻辑运算
• 与运算(AND)、或运算(OR)、非运算(NOT)
• 学习内容包括定义、逻辑功能描述、开关电路示
意图、条件与结果关系表、关系表达式、运算规
则、工作波形图等等
2021年9月24日星期五 6
1. “与”逻辑关系 真值表
A B 灯
。 断开 断开 灭
A B
断开 闭合 灭
220V 灯 闭合 断开 灭
闭合 闭合 亮
。
“与”逻辑关系是指当决定某事件的条件全部具备时,该事
件才发生。
设:开关断开、灯不亮用逻辑 “0”表示,开关闭合、灯亮
用逻辑“1”表示。
2021年9月24日星期五 7
逻辑式
逻辑乘法
F=A•B
逻辑与
逻辑符号
实现与逻辑的电路
A 称为与门。
& F
B
2021年9月24日星期五 8
2. “或”逻辑关系
A A B 灯
+
。
断开 断开 灭
U B 断开 闭合 亮
L
闭合 断开 亮
– 闭合 闭合 亮
。
“或”逻辑关系是指当决定某事件的条件之一具备时,
该事件就发生。
2021年9月24日星期五 9
逻辑式
逻辑加法
F=A+B
逻辑或
逻辑符号:
A >1 Y
B
2021年9月24日星期五 10
3. “非”逻辑关系
。
+ R A 灯
输入 输出
U A L 闭合 灭
A Y
–。 断开 亮0
1
0 1
“非”逻辑关系是指否定或相反的意思。某事情发生与
否,仅取决于一个条件,而且是对该条件的否定。即条件
具备时事情不发生;条件不具备时事情才发生。
2021年9月24日星期五 11
逻辑式
逻辑非
FA
逻辑反
2021年9月24日星期五 12
二、 逻辑函数及逻辑函数间的相等
2021年9月24日星期五 13
1.逻辑函数(logic function)的定义
逻辑函数具有的特点
1)逻辑变量和逻辑函数的取值只有 和 两种可能;
2)函数和变量之间的关系是由“ ”、“ ”、
“ ”3种基本运算决定的。
逻辑0 逻辑1
2021年9月24日星期五 14
• 逻辑函数的定义:设某一逻辑电路的输入逻辑变量为
A1,A2,…,An,输出逻辑变量为F,如果当A1,A2,…An的值
确定后,F的值就唯一地被确定下来,则F被称为
A1,A2,…,An的逻辑函数,记为 F=f(A1,A2,…,An)。
• 广义的逻辑电路图:
A1
A2 逻辑电路
(inputs) F
(LOGIC CIRCUIT)
An
(Outputs)
2021年9月24日星期五 15
2.逻辑函数的相等 (equivalence)
两个逻辑函数相等的定义:
设有两个逻辑函数 F1=f1(A1,A2,…,An),
F2=f2(A1,A2,…,An),若对应于逻辑变量A1,A2,…,An
的任何一组取值,F1和F2的值都相同,则称函数F1
和F2相等。记作F1=F2。
2021年9月24日星期五 16
判断两个逻辑函数是否相等的方法有多种:
1)真值表;
2)公理、定理和规则进行证明;
3)卡诺图;
4)逻辑图;
5)工作波形图;等等
2021年9月24日星期五 17
三、逻辑函数的表示方法
2021年9月24日星期五 18
1 .逻辑表达式( logic expression)
• 逻辑表达式是由逻辑变量和“或”、
“与”、“非”三种运算符所构成的
式子。
• 逻辑表达式书写时要注意优先级问题,
从高到低分别是“非”、“与”、
“或”。
2021年9月24日星期五 19
书写规则
①进行“非”运算可不加括号;
②“与”运算符一般可省略,如A•B可写成AB;
③在一个表达式中,如果既有“与”运算又
有“或”运算,则按先“与”后“或”的
规则进行运算,而可省去括号;
④由于“与”运算和“或”运算均满足结合
律,因此(A+B)+C或者A+(B+C)可用A+B+C代
替;(AB)C或者A(BC)可用ABC代替。
2021年9月24日星期五 20
2、逻辑真值表(Truth table)
将输入变量所有取值下对应的输出值找出
来,列成表格。
•表格表示法 两部分组成 A B F
用穷举法来描述逻辑函数的功能。 0 0 0
注意: 0 1 0
n个输入变量可以有2n个组合,一般按 1 0 0
二进制的顺序,输出与输入状态一一 1 1 1
对应,列出所有可能的状态。
2021年9月24日星期五 21
•真值表转换为函数表达式:
•方法:将F=1的项相加。
如,由上述的真值表可写出逻辑表达式:
A B F
0 0 0
0 1 1
F AB A B AB A B
1 0 1
1 1 1
•函数表达式转换成真值表:
•方法:用变量的所有取值组合列出F的值;
例2、列出下列函数的真值表: F A B A B
2021年9月24日星期五 22
3、逻辑图(Logic diagram)
由逻辑门电路符号构成的,用来表示逻辑变量
之间关系的图形称为逻辑电路图,简称逻辑图。
A 1
P1 &
P4
B
1 F
C P2 &
&
P3
& P5
2021年9月24日星期五 23
3、逻辑图(Logic diagram)
由函数表达式可以画出其相应的逻辑图。
•方法:用逻辑符号画出对应的运算。
A ≥1
B
逻辑函数式:F=(A+B) · C
& F
C
2021年9月24日星期五 24
• 由逻辑图可以写出其相应的函数表达式:
• 方法:从输入到输出依次列出逻辑符号所对
应的逻辑运算的输出;
例 写出如图所示逻辑图的函数表达式。
解:可由输入至输出逐步写出逻辑表达式:
L AB BC AC
2021年9月24日星期五 25
4、卡诺图(Karnaugh Map)
由表示逻辑变量所有取值组合的小方格所构成的
平面图。
输入变量 BC
A 00 01 11 10
0
输出变量F的值
2021年9月24日星期五 26
5.工作波形图(Timing diagram)
2021年9月24日星期五 27
• 表示逻辑函数的5种不同描述方法各有特
点 ,适合于不同场合。
• 针对某个具体问题而言,它们仅仅是同一
问题的不同描述形式 ,它们之间可以很方
便地相互转换。
2021年9月24日星期五 28
2.2 逻辑代数的基本定理和规则
• 一、 基本定理
• 二、 逻辑代数的三个规则
• 三、 复合逻辑
2021年9月24日星期五 29
基本代数规律(5大公理)
交换律 A+B=B+A
A• B=B • A
结合律 A+(B+C)=(A+B)+C=(A+C)+B
A• (B • C)=(A • B) • C
A A 1 A A 0
互补
律
2021年9月24日星期五 31
一、基本定律和公式
1、基本定理:
从三种基本的逻辑关系出发,我们可以得
到以下逻辑运算结果:
A A 双重否
定律
(定理5)
2021年9月24日星期五 33
2、吸收规律
1)原变量的吸收(定理3)
A+AB=A
证明:A+AB=A(1+B)=A•1=A
利用运算规则可以对逻辑式进行化简。
例如:
AB CD AB D( E F ) AB CD
被吸收
2021年9月24日星期五 34
2)反变量的吸收:(定理4)
A AB A B
证明:A AB A AB AB
A B ( A A) A B
例如:A ABC DC A BC DC
被吸收
2021年9月24日星期五 35
3)混合变量的吸收(定理8)
AB AC BC AB AC
证明: AB AC BC 1
AB AC ( A A) BC
AB AC ABC ABC 吸收
AB AC
一句话:如果两个乘积项中的部分因子恰好互补,而这两
个乘积项中的其余因子都是第三个乘积项中的因子,则这
第三个乘积项是多余的。
2021年9月24日星期五 36
3. 反演规律(摩根定律): (定理6)
A B A B
A B A B
可以用列真值表的方法证明:
A B AB A B A B A B
0 0 0 1 1 1 1
0 1 0 1 1 0 1
1 0 0 1 0 1 1
1 1 1 0 0 0 0
2021年9月24日星期五 37
公式的证明方法:
(1)用简单的公式证明略为复杂的公式。
(2)用真值表证明,即检验等式两边函数的真
值表是否一致。
2021年9月24日星期五 38
二、逻辑代数的3个基本规则
1、代入规则
在任何一个包含变量A的逻辑等式中,若以另外
一个逻辑式代替式中所有的A,则等式仍然成立。
例如:
A B A B
则
A B C D A B C D
由此反演律能推广到n个变量:
A1 A 2 A n A1 A 2 A n
A1 A 2 A n A1 A 2 A n
2021年9月24日星期五 39
2、反演定理
对于任意一个逻辑式Y,若将其中的“ ”
换成“+”, “+”换成“ ”,原变量换
成反变量,反变量换成原变量,“1”换成
Y
“0”, “0”换成“1”,则得到的结果
就是
例如: Y A( B C ) CD
Y ( A B C )(C D )
2021年9月24日星期五 40
例如:
F(A,B,C) A B (A C) B A B C
F ( A B) A C B (A B C)
注意:
① 保持原函数的运算次序--先“与”后“或”,
必要时适当地加入括号。
② 不属于单个变量上的非号要保留不变。
2021年9月24日星期五 41
3、对偶定理
若两逻辑式相等,则它们的对偶式也相等。
定义:对于任意一个逻辑式Y,若将其中的“ ”
换成“+”, “+”换成“ ”, “1”换成
“0”, “0”换成“1”,则得到的结果就是
Y的对偶式Y'
例如: A(B+C)=A • B+A • C
A+B • C=(A+B)(A+C)
2021年9月24日星期五 42
例: F AB AC 1 B
其对偶式
F' (A B) ( A C ) ( 0 B)
注意:
求对偶式时运算顺序不变,且它只变
换运算符和常量,其变量是不变的。
对偶式和反演式不同,不需将原变量和反变量
互换。
2021年9月24日星期五 43
三、复合逻辑
1、与非
2、或非
3、与或非
4、异或
5、同或
2021年9月24日星期五 44
1.“与非”(NAND)逻辑
• 定义:与非逻辑是由与、非两种逻辑复合形成
• 逻辑表达式:F=A·B·C····
• 逻辑功能描述:变量ABC···中只要一个为0,函数F为1,
变量ABC···都为1,F才为0。
• 逻辑门:与非门 A B F
B L=A·B
0 • 真值表
1
0 0 1
1 • 波形图
1 A &
F=AB
L=A·B 0 1 1
0 B
1
1 0 1
1 0
(a)
(b)
1 1 0
2021年9月24日星期五 45
• 与非逻辑可实现与、或、非逻辑。
• 与非门为通用逻辑门。
2021年9月24日星期五 46
2.“或非”(NOR)逻辑
• 定义:或非逻辑是由或、非两种逻辑复合形成
• 逻辑表达式:F=A+B+C+···
• 逻辑功能描述:变量ABC···中只要一个为1,函数F为0,
B L=A+B变量ABC···都为0,F才为1。
0 •1 逻辑门:或非门 A B F
1 •0 真值表 A ≥1
L=A+B 0 0 1
B F=A+B
0 •0 波形图
1 0 0 1 0
(b)
(a) 1 0 0
1 1 0
2021年9月24日星期五 47
3.“与或非”(AND-OR-INVERT)逻辑
• 定义:与或非逻辑是由与、或、非两种逻辑复合形成
• 逻辑表达式:F=AB+CD+··
• 逻辑功能描述:仅当每一个与项均为0时,F为1,否则F
为0。
• 逻辑门:与或非门
• 真值表
• 波形图
2021年9月24日星期五 48
4.“异或”(EX-OR)逻辑
• 定义:不带进位的加法,又称模2和,是一种两变量逻辑。
• 逻辑表达式:F=A⊕ B
• 逻辑功能描述:变量AB中取值相同,函数F为0,变量AB取
A+B
值不同,F为1。
0 •0 逻辑门:异或门 A B F
1 •1 真值表 A =1
L=A + B 0 0 0
B F=A ⊕ B
0 •1 波形图
0 1 1
1 0
(a)
(b) 1 0 1
1 1 0
2021年9月24日星期五 49
• A⊕ 0=A A⊕ 1=A A⊕ A=0 A⊕ A=1
• 多个变量异或时,可用两两运算的结果再运算,
也可两两依次运算。
• 多个变量进行异或运算,奇数个变量值为1,运算
结果为1;反之,若偶数个变量值为1,运算结果
为0。
2021年9月24日星期五 50
• F=A⊕B=AB+AB (不考虑进位加法,模2和)
• 用途:
–1)加法(半加器)
–2)原码/反码输出 当A=0,F=B 原码输出;当
A=1,F=B 反码输出; (A⊕ 0=A A⊕ 1=A )
–3)等同比较器(一位等同,使用时加上反相
器)
–4)奇偶校验 F=A⊕B⊕C⊕…,奇数个1,
F=1;偶数个1,F=0
2021年9月24日星期五 51
5.“同或”(EX-NOR)逻辑
• 也是一种两变量逻辑,
• 逻辑表达式:F=A⊙ B
• 逻辑功能描述:变量AB中取值相同,函数F为1,变量AB
取值不同,F为0。
• 逻辑门:同或门
A B F
• 真值表
0 0 1
• 波形图
0 1 0
1 0 0
1 1 1
2021年9月24日星期五 52
• 与非、或非、与或非逻辑可实现任何逻辑
功能。
2021年9月24日星期五 53
附:常用逻辑门电路符号图
2021年9月24日星期五 54
思考:
1、与、或、与非、或非、异或门悬空端如何对待?
2、为什么实际上与非门用的最多?
2021年9月24日星期五 55
与非门可实现多功能逻辑:
1、反相器
– 输入端A.B相连;
– 其中一端接“1”;
– 其中一端悬空(不建议使用)。
2、与逻辑 (与非+反相器)
3、或逻辑
F=A+B=A·B
4、其他(可通过双重否定展开,求出 逻辑图)
2021年9月24日星期五 56
§ 2.3 逻辑函数表达式的形式与变换
例:一个逻辑函数的五种表达式
①与或式 L AC C D
②与非—与非式 L AC C D
③或与式 L (A C )(C D)
④或非—或非式 L (A C ) (C D)
⑤与或非式 L AC C D
变换常用公式:反演定律,A A
2021年9月24日星期五 57
逻辑表达式的基本形式——“与或”表达式
如: F A BC ABC A BC A BC ABC
无论任何形式都可以转换成与或表达式
2021年9月24日星期五 58
2.3 逻辑函数表达式的形式与变换
一、逻辑函数表达式的基本形式
二、逻辑函数表达式的标准形式
三、逻辑函数表达式的转换
2021年9月24日星期五 59
一、 逻辑函数表达式的基本形式
1.“与-或”(Sum of products)表达式
例 F=AB+CD+EF
2.“或-与”(Product of sums)表达式
例 F=(A+B)(C+D)(E+F)
• 逻辑函数的不同表达形式:
与或式 与非-与非式 或-与非式 与或非式 或非-或式
与非-与式 或与式 或非-或非式 最简与或式
举例 F=A⊕B 异或式(如7486)可有12种形式的展开式
2021年9月24日星期五 60
二、 逻辑函数表达式的标准形式
1.最小项和最大项
1)最小项(minterm)
–定义:与项,包含全部n个变量,每个变量都以原变
量或反变量出现,仅出现一次。
n个变量有2n个最小项
–描述成mi (Designation Symbol),i的得到:把反
变量用0替换,原变量用1替换,得到十进制的数。
•
2021年9月24日星期五 61
ABC ABC ABC ABC ABC ABC ABC ABC ABC
m0 m1 m2 m3 m4 m5 m6 m7
000 1 0 0 0 0 0 0 0
001 0 1 0 0 0 0 0 0
010 0 0 1 0 0 0 0 0
011 0 0 0 1 0 0 0 0
100 0 0 0 0 1 0 0 0
101 0 0 0 0 0 1 0 0
110 0 0 0 0 0 0 1 0
111 0 0 0 0 0 0 0 1
2021年9月24日星期五 62
3变量最小项真值表
A B C A BC A BC ABC ABC A BC A BC ABC ABC
m0 m1 m2 m3 m4 m5 m6 m7
0 0 0 1 0 0 0 0 0 0 0
0 0 1 0 1 0 0 0 0 0 0
0 1 0 0 0 1 0 0 0 0 0
0 1 1 0 0 0 1 0 0 0 0
1 0 0 0 0 0 0 1 0 0 0
1 0 1 0 0 0 0 0 1 0 0
1 1 0 0 0 0 0 0 0 1 0
1 1 1 0 0 0 0 0 0 0 1
2021年9月24日星期五 63
最小项的性质
① 任意一个最小项mi,有且仅有一组变量取值使
它为1,该值为i的二进制代码;
② mi•mj≡ 0 (i≠j)
③ mi≡1(i=0n-1)
④ n个变量有2n个最小项
⑤ n个变量构成的最小项有n个相邻最小项
2021年9月24日星期五 64
2) 最大项(maxterm)
(自学最大项的定义、最大项的描述和最大项的5
个性质)
–定义:或项,包含全部n个变量,以原变量、反变量出现,仅出
现一次。
– A,B两变量的最大项有四个、三变量最大项有八个、四变量最
大项有16个的构成)
•
–描述成Mi (Designation Symbol),i的得到:把反变量用1
替换,原变量用0替换,
•
2021年9月24日星期五 65
最大项的性质:
① Mi只有一组变量取值使它为0,该值为i的二
进制代码;
② Mi+Mj≡ 1 (i≠j)
③ Mi≡0(i=0n-1)
④ n个变量有2n个最大项
⑤ n个相邻最大项
3)最小项与最大项的关系
–互反 互逆 mi=Mi
2021年9月24日星期五 66
2.逻辑函数表达式的标准形式
(1) 标准“与或”式(最小项表达式)
• 与或式(Sum of products):逻辑变量的逻辑与
运算叫与项(Product term),与项的或运算称之。
• 最简的与或式:式中含的与项最少,各与项中含的
变量数最少。
2021年9月24日星期五 67
(2) 标准“或与”式(最大项表达式)
• 或与式(Product of sums):逻辑变量的逻辑或运
算叫或项(Sum term),或项的与运算称之。
• 最简的或与式:式中含的或项最少,各或项中含的
变量数最少。
2021年9月24日星期五 68
举例说明下列与或式的一般式、最简式、标准式
F AB AC BC
2021年9月24日星期五 69
三、 逻辑函数表达式的转换(convertion of
logic function)
1、代数转换法
2、真值表转换法
2021年9月24日星期五 70
1、代数转换法
• 利用逻辑代数的公理、定理和规则进行逻辑变换,
将函数表达式从一种形式变换到另一种形式。
• 用代数法求一个函数的标准与或式:
1)将函数表达式转换成一般与或式;
2)对于“与或”式,利用互补律进行展开成最小项,缺
少什么补上什么,将所有与项扩展成最小项。
X=X· (Y+Y)
2021年9月24日星期五 71
用代数法求一个函数的标准或与式:
1、对于“或与”式:
利用定理7进行展开,缺少什么补上什么;
X=(X+Y) (X+Y)
2、对于“与或“式:
先转成“或与”式,再按1处理。
2021年9月24日星期五 72
• “与或”->“或与”有两种方法:
1)两次求反,一次展开;
2)两次求对偶,一次展开。
例:求 F AB AC 的标准或与式(最大项表示法)
2021年9月24日星期五 73
方法:1、与或或与 2、利用定理7
1、与或 F AB AC
F ( A B )( A C ) A C A B B C A C A B
或与
F ( A C )( A B )
两次求反
两次求 F AB AC
对偶 F ' ( A B )( A C ) AC A B BC AC A B
F ' ' ( A C )( A B )
2、利用定理7
F ( A C B )( A C B )( A B C )( A B C )
F ' ' ( A C B )( A C B )( A B C )( A B C )
2021年9月24日星期五 74
2、真值表转换法(推荐)
• 1.表达式真值表
• 一般按自然二进制码的顺序列出函数所含逻辑变量的所有不同取
值组合,再确定相应的函数值。
例、求逻辑函数Z=AB+BC+CA真值表,“或与”表达式
A B C F
0 0 0 0 F(A,B,C)=∑m(1,2,3,4,5,6)
0 0 1 1 =∏M(0,7)
0 1 0 1
0 1 1 1
1 0 0 1
1 0 1 1
1 1 0 1
1 1 1 0
2021年9月24日星期五 75
• 2.真值表表达式
例、已知函数F=ABC的真值表,求标准与或表达式
和标准或与表达式。
A B C F
0 0 0 0 F(A,B,C)=∑m(1,2,4,7)
0 0 1 1 =∏M(0,3,5,6)
0 1 0 1
0 1 1 0
1 0 0 1
1 0 1 0
1 1 0 0
1 1 1 1
2021年9月24日星期五 76
§ 2.4 逻辑函数的化简
函数化简的依据
降低成本
逻辑电路所用门的数量少
每个门的输入端个数少 提高电路的工作
速度和可靠性
逻辑电路构成级数少
逻辑电路保证能可靠地工作
2021年9月24日星期五 77
门
数
最
最简式的标准 少
与或表达式的简化 首先是式中与项最少
与项中含的变量少
门的输入端
个数最少
最简式的标准
或与表达式的简化 首先是式中或项最少
或项中含的变量少
2021年9月24日星期五 78
2.4 逻辑函数的化简(reduction of
logic function)
• 一、 代数化简法
• 二、 卡诺图化简法
• *三、 列表化简法
2021年9月24日星期五 79
一、代数化简法(利用公式化简)
化简的方法有以下常用方法:
1、并项法(定理7)
2、吸收法 (定理4)
3、消去法(定理3)
4、配项法(公理4和公理5)
2021年9月24日星期五 80
一、代数化简法(以与或式为例)
1、并项法
常用公式: A A 1
AB+AB=A
例1:化简 A( BC BC ) A( BC BC ) A
2021年9月24日星期五 81
2、吸收法
常用公式:
A AB A, AB AC BC AB AC
例2:化简 AC ABCD ABC C D ABD
( AC ABCD) ( ABC C D ABD)
AC C D
3、消去法
常用公式: A AB A B
例3:化简 AB AC BC
2021年9月24日星期五 82
4、配项法:
常用公式:
A A 1, AB AC AB AC BC
例4:化简 A B BC BC AB
综合使用上述方法:
要求:对公式熟练;有一定的技巧
2021年9月24日星期五 83
代数化简法特点
• 运用逻辑代数的公理、定理和规则对逻辑函数进
行化简的方法;没有固定的步骤可以遵循,主要
取决于对逻辑代数中公理、定理和规则的熟练掌
握及灵活应用的程度。
• 优点是不受变量数目的约束,当对公理、定理和
规则十分熟练时化简比较方便。
• 缺点是没有一定的规律和步骤,技巧性很强,而
且在很多情况下难以判断化简结果是否最简。这
种方法有较大的局限性。
2021年9月24日星期五 84
二、卡诺图化简法(Karnaugh map)(推荐)
• 2.4.1 卡诺图的构成与特点
• 2.4.2 卡诺图的相邻原则
• 2.4.3 卡诺图的一些几何含义
• 2.4.4 用卡诺图表示逻辑函数
• 2.4.5 块的合并
• 2.4.6 卡诺图化简逻辑函数的步骤
• 2.4.7 用卡诺图化简逻辑函数的实例
• 2.4.8 注意点
2021年9月24日星期五 85
2.4.1 卡诺图的构成与特点
• 1)两变量卡诺图(two-variable Karnaugh map)
• 2)三变量卡诺图(three-variable Karnaugh map)
• 3)四变量卡诺图(four-variable Karnaugh map)
• 4)五变量卡诺图(two-variable Karnaugh map)
A
B 0 1 A
0 m0 m2
B 1 m1 m3
2021年9月24日星期五 86
AB A
C 00 01 11 10
0 m0 m2 m6 m4
C 1 m1 m3 m7 m5
2021年9月24日星期五 87
A
AB 00 01 11 10
CD
00 m0 m4 m12 m8
01 m1 m5 m13 m9 D
C 11 m3 m7 m15 m11
10 m2 m6 m14 m10
2021年9月24日星期五 88
A
B B
ABC 000 001 011 010 100 101 111 110
DE
00 m0 m4 m12 m8 m16 m20 m28 m24
E
C C
2021年9月24日星期五 89
2.4.2 卡诺图的相邻原则
1、只有一个变量不同
• 逻辑相邻的含义
2、这个不同变量互为反变量
• 三种相邻情况:
1)相接(几何相邻)
2)相对
3)相重(五变量以上才有)
2021年9月24日星期五 90
逻辑函数化简
2.4.2 卡诺图化简法
二、逻辑函数在卡诺图上的表示
1、最小项表达式(标准与或式)卡诺图
2、真值表卡诺图(卡诺图真值表)
3、一般与或式卡诺图
4、直接填充(利用几何含义)
2021年9月24日星期五 91
逻辑函数化简
1、最小项表达式(标准与或式)卡诺图
逻辑函数是以最小项表达式给出:在卡诺图上那些与给定
逻辑函数的最小项相对应的方格内填入1,其余的方格内填入0。
例 画出函数Y(A、B、C、D)= ∑m(0,3,5,7,9,12,15)的卡诺图。
2021年9月24日星期五 92
逻辑函数化简
2、真值表卡诺图(卡诺图真值表)
做出逻辑函数的真值表,将表中对应“1”项的最小项
填到卡诺图中。
例: 画出下面函数的卡诺图 输入 输出
A B C Y
0 0 0 0
0 0 1 0
0 1 0 1
解:其真值表如 0 1 1 1
1 0 0 0
表所示, 1 0 1 0
1 1 0 0
1 1 1 1
2021年9月24日星期五 93
逻辑函数化简
3、一般与或式卡诺图
A+ A=1
F (A,B,C,D) AC AD BD BC
2021年9月24日星期五 94
逻辑函数化简
4、直接填充(利用几何含义)
F AC AD BD BC CD
AB 00 01 11 10
00 0 1 1 0
01 1 1 1 0
11 1 1 1 1
10 0 1 1 1
2021年9月24日星期五 95
2.4.5 块的合并(卡诺图上最小项的合并规律)
• 只有2i个相邻最小项才能合并,并消去i
个变量
• 卡诺图化简的依据:任何两个逻辑上相
邻的小方块所表示的最小项只有一个变
量不同,其余变量均相同,这样将两项
并为一项可消去一个变量。
2021年9月24日星期五 96
相邻项的合并规律:
(1)2个相邻的小方格可以合并为1项,消去1个变量。
(2)4个相邻的小方格可以而合并为1项,消去2个变量。
(3)8个相邻的小方格可以合并为1项,消去3个变量。
BC
00 01 11 10
A
0 1 1 0 0
F= B
1 1 1 0 0
2021年9月24日星期五 97
n个变量卡诺图中最小项的合并规律:
• 卡诺圈必须满足2m个方块(m<=n)
• 含有m个不同变量,(n-m)个相同变量
• 卡诺圈可用(n-m)个变量的与项表示
• 当m=0时,卡诺圈中只有一个最小项;当
m=n时,卡诺圈为1。
2021年9月24日星期五 98
• 一般步骤:
1)作出函数的卡诺图;
2)在卡诺图上对相邻最小项进行合并,圈出全
部极大块;
3)找出所有的必要块;
4)写出最简与或表达式
2021年9月24日星期五 99
用卡诺图化简逻辑函数的实例
• 例1:化简函数F=m4(0,3,5,6,7,10,11,13,15),
写出其最简“与或”表达式。
• 例2:化简函数F=m4(2,3,6,7,8,10,12),写出其
最简“与或”表达式。
• 例3:化简函数F=D(A+B)+B(C+AD),写出其最简“与或”
表达式。
• 例4:把F=AC+AD+BC+BD转换成最简“或与”式、“与或非”
式。
• 例5:化简函数F=A(B+C)+A(B+C)+BCD+BCD,写出其最简
“与或”表达式;然后转换成“与非”式。
• 例6:求F(A,B,C,D)=∏M(3,4,6,7,11,12,13,14,15)最简
与-或式和最简或-与式
2021年9月24日星期五 100
• 例1:化简函数F=m4(0,3,5,6,7,10,11,13,15),
写出其最简“与或”表达式。
A
AB 00 01 11 10
CD
00
1
01
1 1 D
C 11 1 1 1 1
10 1 1
2021年9月24日星期五 101
• 例2:化简函数F=m4(2,3,6,7,8,10,12),写出
其最简“与或”表达式。
AB 00 01 11 10
CD A
00
1 1
01
D
C 11 1 1
10 1 1 1
B
注意:1、同一方格可被重复圈,但在新画的圈中至少要有1个未被圈过的“1”
格,否则该包围圈是多余的。
2、同一卡诺图可有不同的圈法,所得的最简式也不同,以总圈数最少为佳。
2021年9月24日星期五 102
练习:
2021年9月24日星期五 104
例3:化简 F(A,B,C,D)=(0,2,3,5,6,8,9,10,11,
12,13,14,15)
CD
00 01 11 10 BC
AB
00 1 0 1 1
BC D
01 0 1 0 1 CD
11 1 1 1 1
BD A
10 1 1 1 1
F A C D BC B D B C D
2021年9月24日星期五 105
• 例4:把F=AC+AD+BC+BD转换成最简“或与”式、“与或非”
式。
AB 00 01 11 10
CD A
00
01
1 1 1 D
11 1 1 1
C
10 1 1 1
无法化简??
2021年9月24日星期五 106
• 例4:把F=AC+AD+BC+BD转换成最简“或与”式、“与或非”
式。
AB 00 01 11 10
CD
00
0 0 0 0
01
0 1 1 1
11 0 1 1 1
10 0 1 1 1
先求出 F :0的卡诺圈 F AB C D
所以: F F A B C D ( A B )(C D )
2021年9月24日星期五 107
• 求最简或-与式(两次取反法)
– 若给定函数是与-或式,先作出F的卡诺图,合并
“0”方格,求出 F 的最简与-或式,再反演规则得F.
– 若给定函数是或-与式,
• 先根据反演规则得 F ,作出 F 的卡诺图,合
并“1”方格,求出 F 的最简与-或式,然后反演
规则求反得F.
• 直接作出F的卡诺图(注意填法),合并“1”
方格得到 F 最简与-或式,合并“0”方格得
F
最简与-或式,求反得F的或与式
2021年9月24日星期五 108
例5:
求F(A,B,C,D)=∏M(3,4,6,7,11,12,13,14,15)
最简与-或式和最简或-与式
2021年9月24日星期五 109
A
AB 00 01 11 10
CD
00
1 0 0 1
01 1 1 0 1 D
C 11 0 0 0 0
10 1 0 0 1
B
F B D BC ACD
2021年9月24日星期五 110
A
AB 00 01 11 10
CD
00
1 0 0 1
01 1 1 0 1 D
C 11 0 0 0 0
10 1 0 0 1
B F AB CD B D
F F ( A B)(C D)( B D)
2021年9月24日星期五 111
例7:化简函数 F ( A D )( B D )( A B )
写出其最简“或与”表达式;
1、先求反 F
F A D BD A B
2、卡诺图化简
F B AD
3、再求反得F
F B( A D)
2021年9月24日星期五 112
练习
• F=m4(0,1,2,5,6,7,8,10,11,12,13,
15);
2021年9月24日星期五 113
具有任意项的逻辑函数的化简
对于变量的某些组合,所对应的函
任意项 数值是不定的,称其为任意项(无
关项)。
填函数的卡诺图时,在任意项对应
处理方法:的格内填任意符号“Φ”、“d”或
“×”。
化简时可根据需要,把任意项视为
应用
“1”或“0”,使函数得到最简。
2021年9月24日星期五 114
例:已知函数:
F(A, B, C, D) m ( 0、 2、 3、 4、 6、 8、 10 )
约束条件Φ (11、 12、 14、 15 ) 0
求其最简与或式 CD D A D A BC
BC
CD
AB
AB 00 01
00 01 11 10
11 10
解: 填函数的卡诺图 00 1
B D
00 1 00 11 11
化简 01
01 11 00 0
0
1
1
不考虑约束条件时: 11
11 0
F A D B D A BC 0
10
10 11 0 1
考虑约束条件时: 0 1
F D BC
2021年9月24日星期五 115
练习:
F ( A, B, C, D) m(5,6,7,8,9) d (10,11,12,13,14,15)
A BC BD
2021年9月24日星期五 116
逻辑函数化简
2.4.2 卡诺图化简法
四、卡诺圈化简的步骤
1、基本步骤
① 画出逻辑函数的卡诺图;
② 合并相邻最小项(圈组);
③ 从圈组写出最简与或表达式。
关键是能否正确圈组。
2021年9月24日星期五 117
逻辑函数化简
四、卡诺圈化简的步骤
2、画圈原则 画卡诺圈
CD
AB 00 01 11 10
00 0 1 1 0
01 1 1 1 0
11 1 1 1 1
10 0 1 1 1
2021年9月24日星期五 118
逻辑函数化简
四、卡诺圈化简的步骤
3、画圈步骤 D
CD
AB 00 01 11 10
00 0 1 1 0
01 1 1 1 0
BC
11 1 1 1 1
10 0 1 1 1
F D AC BC AC
2021年9月24日星期五 119
图中的一小格对应真值表中的一行,
卡诺图(K图)即对应一个最小项,又称真值图
二 A B mi B
B B A 0 1
变 0 0 m0 m0 m1
量 0 1 m1 A AB AB 0
K 1 0 m2 m2 m3
A AB AB 1
图 1 1 m3
CD
AB 00 01 11 10
三 BC 四
00 m0 m1 m3 m2
变 A 00 01 11 10 变
m4 m5 m7 m6
量 0 m0 m1 m3 m2 量 01
K K 11 m12 m13 m15 m14
1 m4 m5 m7 m6
图 图
10 m8 m9 m11 m10
2021年9月24日星期五 120
画圈的原则:
(1)相临单元的个数是2n个,并组成矩形时,可以合并。
(2)相邻:包括上下底相邻、左右边相邻和四角相邻。
(3)圈尽量大,圈的个数尽量少。
(4)每个“1”格均要被圈过,不能遗漏。
(5)同一方格可被重复圈,但在新画的圈中至少要有1
个未被圈过的“1”格,否则该包围圈是多余的。
(6)同一卡诺图可有不同的圈法,所得的最简式也不同,
以总圈数最少为佳。
2021年9月24日星期五 121
CD
00 01 11 10
AB
00 0 0 0 0
01 0 1 0 0
11 1 1 0 0
10 1 0 0 0
不是矩形
2021年9月24日星期五 122
CD
00 01 11 10
AB
00
01
11
10
是矩形不是2n
是矩形
2021年9月24日星期五 123
• 用卡诺图化简逻辑函数的步骤:
(1)画出逻辑函数的卡诺图。
(2)合并相邻的最小项,即根据前述原则画圈。
(3)写出化简后的表达式。
每一个圈写一个最简与项,最简与项由圈内没
有0、1变化的那些变量组成(取值为1的变量用
原变量表示,取值为0的变量用反变量表示),
然后将所有与项进行逻辑加,即得最简与—或
表达式。
2021年9月24日星期五 124