1、第二章逻辑代数和函数化简 数字系统逻辑设计DigitalSystemandLogicDesign 主编 王维华 曲兆瑞 山东大学出版社 主讲人 李新山东大学计算机科学与技术学院 2 内容提要 2 3代数法化简逻辑函数 2 2基本定律 公式和规则 2 1逻辑代数和逻辑门 2 5多输出函数的化简 2 4卡诺图法化简逻辑函数 3 2 4逻辑函数的标准形式 最小项及最小项表达式最大项卡诺图的结构逻辑函数的卡诺图表示用卡诺图法化简逻辑函数 4 逻辑函数的标准形式 有 积之和 与 和之积 两种基本表达形式如是 积之和 的形式 又称 与 或 表达式 而则是 和之积 的形式 又称 或 与 表达式 请注意 基本
2、表达式形式不是唯一的例如 5 2 4 1最小项及最小项表达式 1最小项 minterm 定义在一个具有n个变量的逻辑函数中 如果一个与项包含了所有n个的变量 而且每个变量都是以原变量或反变量的形式作为因子出现且仅出现一次 那么这样的与项就称为该逻辑函数的一个最小项 常用m表示最小项 对于n个变量的全部最小项共有2n个 例如 2个变量A B的最小项 6 例如 在三变量的逻辑函数F A B C 中 它们组成的八个乘积项即 都符合最小项的定义 因此 我们把这八个与项称为三变量逻辑函数F A B C 的最小项 除此之外 还有 等与项 都不满足最小项的定义 所以 都不是三变量逻辑函数F A B C 的最
3、小项 7 为了表达方便 人们通常用mi表示最小项 其下标i为最小项的编号 编号的方法是 最小项中的原变量取1 反变量取0 则最小项取值为一组二进制数 其对应的十进制数便为该最小项的编号 如三变量最小项对应的变量取值为100 它对应的十进制数为4 因此 最小项的编号为m4 其余最小项的编号以此类推 值得注意的是 在规定n变量最小项的编号时 对变量的排列顺序是重要的 例如 把记作m4 其中隐含了A是最高位 而C是最低位这一排列顺序 最小项编号 8 2最小项的性质 1 对于任意一个最小项 有且仅有一组变量取值使其值为1 而其余各种变量取值均使它的值为0 推论 不同最小项 使其值为1的变量取值也不相同
4、 2 对于变量的任意一组取值 任意两个不同最小项的乘积均为0 3 对于变量的任意一组取值 全体最小项的和恒为1 9 由最小项的逻辑或的形式构成的逻辑函数表达式称之为逻辑函数的最小项表达式 也称为标准与或表达式 如 m6 m4 m3 又记为 这是一个三变量逻辑函数 其变量按 A B C 排列 函数本身由3个最小项构成 上述表达式即为逻辑函数的最小项之和的标准形式 3 最小项表达式 10 4最大项 最大项定义在一个具有n变量的逻辑函数中 如果一个或项包含了所有n个的变量 而且每个变量都是以原变量或反变量的形式作为一个因子仅出现一次 那么这样的或项就称为该逻辑函数的一个最大项 对于n个变量的全部最大
5、项共有2n个 11 例如 在三变量的逻辑函数F A B C 中 它们组成的八个和项即 都符合最大项的定义 因此 我们把这八个或项称为三变量逻辑函数F A B C 的最大项 除此之外 还有 等或项 都不满足最大项的定义 所以 都不是三变量逻辑函数F A B C 的最大项 12 由最大项的逻辑与的形式所构成的逻辑函数表达式称之为逻辑函数的最大项之积的标准形式 如 M1M3M4 又记为 是一个三变量逻辑函数 其变量按 A B C 排列 函数本身由3个最大项构成 上述表达式即为逻辑函数的最大项之积的标准形式 最大项之积的标准形式 13 将逻辑函数展开为最小项表达式 1 利用公式 将函数 展开为最小项表
6、达式 通过求解下面的例题来学习该方法的具体应用 例将函数 展开为最小项表达式 14 解 将函数式变换为一般 与 或 表达式 运用公式 变换为 最小项之和的形式 m1 m3 m6 m7 6 7 1 3 15 同样 我们通过例题来学习该方法的具体步骤 例将函数展开为最小项之和的标准形式 2 利用真值表展开为两种标准形式 16 函数F的真值表 m0 m3 m4 m6 由表可知 1 0 0 1 17 结论 利用真值表求最小项之和标准形式的方法 观察真值表 找出函数F为1的各项 作函数对应这些项的最小项 对于输入变量为1 则取输入变量本身 若输入变量为0 则取其反变量 再取这些最小项之和 即为所求函数的
7、最小项之和标准形式 1 0 0 1 m0 m3 m4 m6 18 用代数的方法化简应使得逻辑函数式包含的项数以及变量数最少为原则 对于化简的结果 尤其较为复杂的结果 通常难于判断是否最简 因此我们还常常使用卡诺图的方法来化简逻辑函数 19 2 4 2卡诺图结构 卡诺图是一种矩形方格图 图中的每个方格对应一个最小项 并且任意两个相邻方格所对应的最小项只有一个变量不同 卡诺图的每一个方块 最小项 代表一种输入组合 并且把对应的输入组合注明在阵列图的上方和左方 输入变量 20 最小项 输入变量的每一种组合 1卡诺图的画法 二输入变量 输入变量 21 卡诺图的画法 三输入变量 输入变量 22 四输入变
8、量卡诺图 逻辑相邻 23 有时为了方便 用二进制对应的十进制表示单元格的编号 单元格的值用函数式表示 F A B C 1 2 4 7 24 25 2 真值表 卡诺图 二变量卡诺图 四种表示方式的相互转换 真值表 26 3 真值表 卡诺图 逻辑代数式 方法 将真值表或卡诺图中为1的项相加 写成 与或式 27 卡诺图化简函数 28 逻辑相邻的项可以合并 消去一个因子 若两个最小项中只有一个变量以原 反状态相区别 则称它们为逻辑相邻 29 AB 30 F AB BC 31 边角也相邻 32 边角也相邻 33 34 利用卡诺图化简的规则 1 相邻单元的个数是2N个 并组成矩形时 可以合并 35 2 先
9、找面积尽量大的组合进行化简 可以减少更多的因子 3 各最小项可以重复使用 4 所有的1都被圈过后 化简结束 5 化简后的逻辑式是各化简项的逻辑和 36 例 化简 F A B C D 0 2 3 5 6 8 9 10 11 12 13 14 15 37 如何最简 圈的数目越少越简 圈内的最小项越多越简 特别注意 卡诺图中所有的1都必须圈到 不能合并的1必须单独画圈 上两式的内容不相同 但函数值一定相同 Y1 A C Y1 A B 此例说明 一逻辑函数的化简结果可能不唯一 例 38 39 2 4 5多变量函数的卡诺图化简 多变量函数 多于4个变量的逻辑函数 1 1 5变量函数F ABCDE 的卡诺图 40 2 4 5多变量函数的卡诺图化简 1 1 6变量函数F ABCDEF 的卡诺图 相邻性不够直观分组操作困难 6变量以上的卡诺图很少使用 41 2 4 5多变量函数的卡诺图化简 局部循环相邻对称循环相邻 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 对称循环相邻 42 内容提要 2 3代数法化简逻辑函数 2 2基本定律 公式和规则 2 1逻辑代数和逻辑门 2 5多输出函数的化简 2 4卡诺图法化简逻辑函数 43 作业 练习二9 2 3 4 6 10 2 4 6 8 10 12 14
