第二章_逻辑代数和函数化简new.ppt

[例]在举重比赛中有3个裁判员，规定只要2个或2个以上的裁判员认为成功，试举成功；否则试举失败。 函数式 4.逻辑图 0 1 1 0 A B Y 0 0 0 1 1 0 1 1 B A 例2-7；例2-8 5、波形图转化真值表（P26) 2.4.4 逻辑函数的标准形式 1. 最小项与最小项之和的形式 （1） 最小项的概念： 包括所有变量的乘积项，每个变量均以原变量或 反变量的形式出现一次。 ( 2 变量共有 4 个最小项) ( 4 变量共有 16 个最小项) ( n 变量共有 2n 个最小项) … … ( 3 变量共有 8 个最小项) 都是最小项吗？ 对应规律：1 ? 原变量 0 ? 反变量 （2） 最小项的性质： 0 0 0 0 0 0 0 1 0 0 0 0 0 0 1 0 0 0 0 0 0 1 0 0 0 0 0 0 1 0 0 0 0 0 0 1 0 0 0 0 0 0 1 0 0 0 0 0 0 1 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 1 0 1 0 0 1 1 1 0 0 1 0 1 1 1 0 1 1 1 A B C a 任一最小项，只有一组对应变量取值使其值为 1 ； A B C 0 0 1 A B C 1 0 1 b 任意两个最小项的乘积为 0 ； c 全体最小项之和为 1 ； d 任何两个相邻项均可合并成一项并消去一个互补因子。 （3） 最小项的编号： 把使最小项为1对应的变量取值当成二进制数，与之 相应的十进制数，就是该最小项的编号，用 mi 表示。 对应规律：原变量 ? 1 反变量 ? 0 0 0 0 0 0 1 0 1 0 0 1 1 1 0 0 1 0 1 1 1 0 1 1 1 0 1 2 3 4 5 6 7 m0 m1 m2 m3 m4 m5 m6 m7 2） 最小项标准表达式 任何逻辑函数都是由其变量的若干个最小项构成，都可以表示成为最小项之和的形式。 [例] 写出下列函数的标准与或式： [解] 或 m6 m7 m1 m5 [例] 写出下列函数的最小项表达式： m7 m6 m5 m4 m1 m0 m8 m0 与前面m0相重 真值表法P28 2.6 逻辑函数的化简方法 1. 化简的标准 （1）乘积项个数最少 （2）每个乘积项中变量个数最少 卡诺图法 公式法 2. 化简的方法 2. 6. 1 公式化简法 1. 并项法: [例] [例] （与或式 最简与或式） 公式 定理 2. 吸收法： [例] [例 3. 消去法： [例] [例] 4.配项添项法： [例] [例] 综合练习： [例2-10] 综合练习： [例2-10] 2. 6. 2 卡诺图化简法 1、逻辑函数的卡诺图表示法 卡诺图：对于n变量的逻辑函数，相应的把矩形或正方形划分成2n个小方格，这些小方格分别代表n变量的逻辑函 数的2n个最小项，每个最小项占一格，满足在几何相邻的小方格所表示的最小项具有逻辑相邻性。 卡诺图： 变量 的卡诺图 最小项方格图(按循环码排列) (四个最小项) A B A B 0 1 0 1 A B 0 1 0 1 1. 变量卡诺图的画法 （1）变量卡诺图一般都化成正方形或矩形 （2）按循环码 (格雷码)排列变量取值顺序。 三变量 的卡诺图： 八个最小项 A BC 0 1 00 01 10 11 11 10 卡诺图的实质： 逻辑相邻 几何相邻 逻辑不相邻 逻辑相邻 逻辑相邻 紧挨着 行或列的两头 对折起来位置重合 逻辑相邻： 两个最小项只有一个变量不同 　　 逻辑相邻的两个最小项可以合并成一项，并消去一个因子。如： m0 m1 m2 m3 m4 m5 m6 m7 五变量 的卡诺图： 四变量 的卡诺图： 十六个最小项 AB CD 00 01 11 10 00 01 11 10 　 当变量个数超过六个以上时，无法使用图形法进行化简。 AB CDE 00 01 11 10 000 001 011 010 110 111 101 100 以此轴为对称轴（对折后位置重合） m0 m1 m2 m3 m4 m5 m6 m7 m12 m13 m14 m15 m8 m9 m10 m11 m0 m1 m2 m3 m8 m9 m10 m11 m24 m25 m26 m27 m16 m17 m18 m19 m6 m7 m4 m5 m14 m15 m12 m13 m30 m31 m28 m29 m22 m23 m20 m21 几何相邻 几何相邻 几何相邻 三十二个最小项 1). 逻辑函数的卡诺图表示法 . 将函数化为最