数字电路1.2逻辑函数的化简方法

1. 2 逻辑函数的化简方法
1. 2. 1 逻辑函数的标准与或式和最简式 一、标准与或表达式
Y F ( A ,B ,C ) AB AC
AB(C C ) AC ( B B)
ABC ABC ABC ABC
最小项
标准与 或式
标准与或式就是最小项之和的形式
1. 最小项的概念： 包括所有变量的乘积项，每个变量均以原变量或 反变量的形式出现一次。 Y F ( A ,B ) ( 2 变量共有 4 个最小项)
m0
m1
m3
A A B AB
m2
2. 变量卡诺图的画法 三变量 的卡诺图： 八个最小项
逻辑相邻： 两个最小项只有一个变量不同 逻辑相邻的两个最小项可以 合并成一项，并消去一个因子。 如：
BC 11 10 11 A 00 01 10 m1 m 3 m 2 0 m0 逻辑相邻 1 m4 m5 m7 m6
CD AB 00 01 11 10 1 00 01 11 10 1 1 1 1 1 1 1
Y AC D AC D ABD AB D
[ 例]

利用图形法化简函数
F m ( 0 , 1 , 2 , 3 , 4 , 8 , 10 , 11 , 14 , 15 )
例如
ABC ABC ( A A) BC BC
卡诺图的缺点：函数的变量个数不宜超过 6 个。
4. 卡诺图中最小项合并规律： (1) 两个相邻最小项合并可以消去一个因子 CD AB 00 01 11 10 BC 1 00 A 00 01 11 10 6 01 4 0 0 3 2 11 1 4 10 9
AB
AB
AB
AB
Y F ( A ,B ,C ) ( 3 变量共有 8 个最小项)
ABC ABC ABC ABC ABC ABC ABC ABC
Y F ( A ,B ,C ,D ) ( 4 变量共有 16 个最小项)
ABC D
ABC D ABC D
… … ABC D
ABCD
( n 变量共有 2n 个最小项)
二、逻辑函数的最简表达式及相互转换
Y AB AC BC 最简与或式
最简 与非-与非式 最简或与非式 最简与或非式 最简或与式
核心
AB AC
( A B)( A C )
AB A C
A B A C
最简或非-或式 最简或非-或非式
AB AC BC
( A B) ( A C )
A B AC
1. 2. 2 逻辑函数的公式化简法
（与或式
一、并项法:
公式 定理
最简与或式）
AB AB A
[例 1. 2. 8] Y ABC ABC AB
AB AB B
[ 例]
Y ABC ABC ABC ABC
A ( BC B C ) A ( BC BC )
五变量 的卡诺图： CDE
几何相邻 000 001 011 010 110 111 101 100 AB 三十二个最小项 00 m0 m1 m3 m2 m6 m7 m5 m4
当变量个数超过 01 m8 m9 m11 m10 m14 m15 m13 m12 六个以上时，无法使 11 m m m m m m m m 24 25 27 几何相邻 26 30 31 29 28 用图形法进行化简。
Y AB AD BC ( A B) ( A D) ( B C )
( A B D) ( B C ) AB AC BC D AB(C C ) AC( B B) BC D( A A)
ABC ABC ABC ABC D ABC D
(1) 任一最小项，只有一组对应变量取值使其值为 1 ； 对应规律：1 原变量 0 反变量 (2) 任意两个最小项的乘积为 0 ； ABC ABC A B C 1 A B C 1 (3) 0 全体最小项之和为 1 。 01 101
3. 最小项的编号：
把与最小项对应的变量取值当成二进制数，与之 相应的十进制数，就是该最小项的编号，用 mi 表示。
[例 1. 2. 13] Y AB AB ABC ABC
A ( B B C ) A ( B BC ) A (B C) A (B C)
AB AB AC AC AB AB C
四、配项消项法： [例]
AB AC BC AB AC
[ 例]
Y A A BC ( A B C D) BC
( A BC ) ( A BC ) ( A B C D)
A BC
三、消去法：
[例]
A AB A B
Y AB AC BC AB ( A B)C AB AB C AB C
ABCD ABC D ABC D ABC D m7 m6 m5 m4
m7 m6 m5 m4 m1 m0 m8
A BC D A BC D A BC D A BC D m1 m0 m8 m0
与前面m0 相重
m( 0 , 1 , 4 , 5 , 6 , 7 , 8 )
二、逻辑函数的卡诺图表示法 1. 根据变量个数画出相应的卡诺图； 2. 将函数化为最小项之和的形式； 3. 在卡诺图上与这些最小项对应的位置上填入 1 ， 其余位置填 0 或不填。
[ 例]
Y F( A , B ,C )
AB BC AC
BC A 00 01 11 10 0 0 0 1 0
10 1 1
(4) 必需把组成函数的全部最小项圈完，并做认真 比较、检查才能写出最简与或式。
[ 例]
利用图形法化简函数
F ( A , B , C , D ) m ( 1 , 4 , 5 , 6 , 8 , 12 , 13 , 15 )
[解] 注意：先圈孤立项
(1) 画函数的卡诺图
(2) 合并最小项： 画包围圈 (3) 写出最简与或表达式
Y F ( A ,B ,C ) AB AC
[解] Y AB(C C ) AC ( B B)
ABC ABC AB C ABC
m6 m7 m1 m3
m6 m7 m1 m3
或 m 1 , 3 , 6 , 7
[例] 写出下列函数的标准与或式：
对应规律：原变量 1
反变量 0
ABC ABC ABC ABC ABC ABC AB C ABC
000 001 010 011 100 0 m0 1 m1 2 m2 3 m3 4 m4 101 5 m5 110 111 6 m6 7 m7
4. 最小项是组成逻辑函数的基本单元 任何逻辑函数都是由其变量的若干个最小项构成， 都可以表示成为最小项之和的形式。 [例] 写出下列函数的标准与或式：
11 10 8
5
7
10
13 15
CD
BC
BD
m m m m m m m m m 0 2 8 10 3 0 4 10 12 11 8 m m m m 5 7 13 15 B C C D A B B C D A B C D AB A B C D A B C D D B C D A B C B D BD A A B C D A B C D A B C D A B C D
逻辑不相邻 逻辑相邻
ABC ABC AC
卡诺图的实质： 逻辑相邻 几何相邻
紧挨着 行或列的两头 对折起来位置重合
CD
四变量 的卡诺图： 十六个最小项
AB
00 01 11 10
几 何 相 邻
00 m0 m1 m3 m2 01 m4 m5 m7 m6 11 m12 m13 m15 m14
10 m8 m9 m11 m10
Y BC AC AC BC AB
BC AC AB
或 BC AC AC BC A B
冗余项
AB AC BC
[例 1. 2. 15] Y AB AC BC AB AC BC
AB AC BC 或 AB AC BC AB AC BC AB AC BC
A B C A( B C ) A
二、吸收法：
A AB A
[例 1. 2. 10] Y AB AD BE
A B AD BE A B
[例 1. 2. 11] Y AB ACD BCD
AB ( A B) CD
AB AB CD AB A B
A BC A BC BC ABC ABC AB
A BC D A BC D BC D ABC D ABC D AB D
(2) 四个相邻最小项合并可以消去两个因子 CD AB 00 01 11 10 3 2 00 0 01 4 11 10 11 12 10 8
CD AB 00 01 11 10 2 00 0 01
(3) 八个相邻最小项合并可以消去三个因子 CD AB 00 01 11 10 00 0 1 3 2 01 4 5
11 12 13 10 8 9 11 10
CD AB 00 01 11 10 2 00 0 01
11
4
5
7
6
10
12 13 15 14
10 8
C
B
D
总结：2n 个相邻最小项合并可以消去 n 个因子
(3) 写出最简与或表达式
A BD
A BC
1
10 BC
Y BC A BD ABC