§2逻辑代数与硬件描述语言基础-09.pptVIP

本章教学内容 本章教学要求 本章重点与难点 教学内容 2.1 逻辑代数 2.2.1 逻辑代数的基本定律和恒等式 2.2.2 逻辑代数的基本规则 2.1.3 逻辑代数的化简 2.2 逻辑函数的卡诺图化简法 2.2.1 最小项的定义及其性质 2.2.2 逻辑函数最小项的表达式 2.2.3 用卡诺图表示逻辑函数 2.2.4 用卡诺图化简逻辑函数 *2.3 硬件描述语言基础 Verilog HDL 教学要求 （l）掌握逻辑代数的基本定律、定理和规则； （2）掌握逻辑函数的表示方法及相互转换方法； （3）掌握逻辑函数的化简方法； 2.1 逻辑代数 2.1.1 逻辑代数的基本定律和恒等式 表2.1.1 逻辑代数定律、定理和恒等式 (P 40) 0-1 律 与普通代数相似的定律 证明分配率：A+BA=(A+B)(A+C) 反演律(摩根定理) 吸收律 常用恒等式： 1. 代入规则 2. 反演规则 【例题】： 3. 对偶规则 【例题1】： 2.1.3 逻辑函数的代数化简法 一、逻辑函数的最简与-或表达式 (2) 逻辑函数的化简方法： 化简依据： ③ 消去法 卡诺图：是最小项按相邻规则作出的方框图。 作用：利用卡诺图可以直观而方便地化简逻辑函数。 任何一个逻辑函数都可以表示成若干个最小项之和的形式，这样形式就是最 小项表达式，而且这种形式是惟一的。获取最小项表达式的方法有两种： 复习与回顾： 结论：逻辑函数的最小项表达式 是唯一的。（P 48） 逻辑相邻：是指两个最小项中除了一个变量取值不同外，其余的都相同，那 么这两个最小项具有逻辑上的相邻性。例如，m3= 和m7=ABC是逻辑相邻的。 求卡诺图的方法： 3） 用卡诺图表示逻辑函数 1）化简的依据 利用卡诺图合并最小项，实质上就是反复运用公式， 消去相异的变 量，从而得到最简的”与或”式： （1）当2个（21）相邻小方格的最小项合并时，消去1个互反变量； （2）当4个（22）相邻小方格的最小项合并时，消去2个互反变量； （3）当8个（23）相邻小方格的最小项合并时，消去3个互反变量； （4）当2n个相邻小方格的最小项合并时，消去n个互反变量(n为正整数)。 2) 卡诺图化简法 一般按以下三个步骤进行： (1) 画出逻辑函数的卡诺图； (2) 按合并最小项的规律, 将可以合并的最小项分别用包围圈(复合圈)圈出； (3) 将每个包围圈所得的乘积项相加, 就可得到逻辑函数最简“与或”表达式。 【例题】: 化简 Y（A,B,C,D）=∑m(3,4,5,7,9,13,14,15)。 【例2】：（P53 例2.2.5）  4输入逻辑变量A,B, C, D,它的真值表如表2.2.3所示，用卡诺图法其求最简与一或表达式及与非一与非表达式。 最小项应遵循的原则是： 综上所述，复并最小项应遵循的原则是： ①按合并最小项的规律，对函数所有的最小项画包围圈； ②包围圈的个数要最少，使得函数化简后的乘积项最少； ③一般情况下，应使每个包围圈尽可能大，则每个乘积项中变量的个数最少； ④最小项可以被重复使用，但每一个包围圈至少要有一个新的最小项（尚未被圈过）。 需要指出的是：用卡诺图化简逻辑函数时，由于对最小项画包围圈的方式不同，得到的最简与或式也往往不同。 卡诺图法化简逻辑函数的优点是简单、直观，容易掌握，但不适用于五变量以上逻辑函数的化简。 (1) 什么是”约束” 在前面所讨论的逻辑函数中，我们认为逻辑变量的取值是独立的，不受其它变量取值的制约。但是，在某些实际问题的逻辑关系中，变量和变量之间存在一定的制约关系。这种相互“制约”的关系就是约束。 例如：A、B、C三个变量只允许出现000、001、010、100四种取值，而011、101、110、111四种取值是不允许出现的。这就说明三个变量A、B、C之间存在着“约束”的关系。就称A、B、C是一组有约束的变量，而不允许出现的四组变量取值组合所对应的最小项称为“约束项”（或称为“任意项”、“禁止项”、“无关项”）。 (2) 约束项的意义 约束条件：所有约束项之和，其值恒为0的逻辑表达式～，。 【例题】: 设输入A、B、C、D是十进制数X的二进制编码，当X≥5时，输入Y为1，否则为0，求Y的最简“与或”表达式。 【解】：（a）根据题意列真值表 (b) 用卡诺图化简： 考虑约束条件的化简为: ? 作 业 2.1.1、2.1.3 、2.1.4 、 2.1.7题中的单数； 3. 最小项的编号 最小项中通常用i表示最小项编号(用十进制数表示)。最小项中以原变量形式出现视为1，以反变量形式出现视为0。例如 对