2010-§2逻辑代数与硬件描述语言基础课件.ppt

§2 逻辑代数与硬件描述语言基础 表2.1.1 逻辑代数定律、定理和恒等式 (P40) 反演律(摩根定理)： 常用恒等式： 1. 代入规则 2.反演规则 【例题2】： 3. 对偶规则 【例题3】： 2.1.3 逻辑函数的代数化简法 一、逻辑函数的最简与-或表达式 (2) 逻辑函数的化简方法： 化简依据： 卡诺图：是最小项按相邻规则作出的方框图。 作用：利用卡诺图可以直观而方便地化简逻辑函数。 任何一个逻辑函数都可以表示成若干个最小项之和的形式，这个形式就 是最小项表达式，而且这种形式是惟一的。 逻辑相邻：是指两个最小项中除了一个变量取值不同外，其余的都相同，那 么这两个最小项具有逻辑上的相邻性。例如，m3= 和m7=ABC是逻辑相邻的。 求卡诺图的方法： 3） 用卡诺图表示逻辑函数 一般按以下三个步骤 进行： (1) 画出逻辑函数的卡诺图； (2) 按合并最小项的规律, 将可以合并的最小项分别用包围圈(复合圈)圈出； (3) 将每个包围圈所得的乘积项相加, 就可得到逻辑函数最简“与或”表达式。 【例2】: 化简 Y（A,B,C,D）=∑m(3,4,5,7,9,13,14,15)。 归纳：合并最小项应遵循的原则是： ① 按合并最小项的规律，对函数所有的最小项画包围圈； ② 包围圈的个数要最少，使得函数化简后的乘积项最少； ③ 一般情况下，应使每个包围圈尽可能大； ④ 最小项可以被重复使用，但每一个包围圈至少要有一个新的最小项（尚未 被圈过）。 需要注意：用卡诺图化简逻辑函数时，由于对最小项画包围圈的方式不同，得到的最简与或表达式有可能不同，即最简与或表达式并不是唯一的。 适用范围：卡诺图法化简逻辑函数的优点是简单、直观，容易掌握，但不适用于五变量以上逻辑函数的化简。 在前面所讨论的逻辑函数中，我们认为逻辑变量的取值是独立的，不受其它变量取 值的制约。但是，在某些实际问题的逻辑关系中，变量和变量之间存在一定的制约关系, 这种相互“制约”的关系就称为约束。 例如,在A、B、C三个变量中，只允许出现000、001、010、100四种取值,而011、101、 110、111四种取值则不允许出现,这表明A、B、C这三个变量之间存“约束”的关系,就 称A、B、C是一组有约束的变量,而不允许出现的四种变量取值所对应的最小项称为“约 束项”(或称为任意项、禁止项、无关项)。 3.约束条件 约束条件：所有约束项之和，其值恒为0的逻辑表达式,称之为约束条件。。 回顾与复习： 回顾与复习： 回顾与复习： §2 练习题 2.1.1、2.1.3 、2.1.4 、 2.1.7题中的单数； 典型的格雷码 合并最小项的规律 （1）两个相邻最小项的合并 2.2 逻辑函数的卡诺图法化简 汗铃励蚜赌圆披溢凄兰唆嗣要阎蜘霜岸埂签猜鹤张天寞拧雷枫幽千铱彻晶2010-§2逻辑代数与硬件描述语言基础课件2010-§2逻辑代数与硬件描述语言基础课件 （2）四个相邻最小项的合并 2.2 逻辑函数的卡诺图法化简 合并最小项的规律 遂毒舔低圈爆占失氢丙霜越津烈圭箕阁琐纱玲银赚碎良离团骨控玉醉鳞柜2010-§2逻辑代数与硬件描述语言基础课件2010-§2逻辑代数与硬件描述语言基础课件 南通大学 Nantong University * 挤痞淄前粕龄豫描诲化呢愿庞董斜拽肺硼检早童容肢翼恃纫跃茹季乃继灸2010-§2逻辑代数与硬件描述语言基础课件2010-§2逻辑代数与硬件描述语言基础课件 教学内容: 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 用卡诺图化简逻辑函 * 返回 躲舞链消灌安枢智召听村堵翅走箱堡芒勘肪房驰佃允项贯搏偶帐徘髓俯堆2010-§2逻辑代数与硬件描述语言基础课件2010-§2逻辑代数与硬件描述语言基础课件 0-1 律 分配律 结合律 交换律 反演律 吸收律 冗余律 非(反) 与（乘） 或（加） 基本定律 常用 恒等式 规则1 规则3 规则2 谅攀能镣岩撩坠簧事录铺恶宇拧际拦戏焚巧护箔四臃亭报消拽旋粪柒词杜2010-§2逻辑代数与硬件描述语言基础课件2010-§2逻辑代数与硬件描述语言基础课件 证明等式： √ √ 2.1.1 逻辑代数定律和恒等式 * 返回 窗奇翅腋采股侮州澄侄仕轰链栗屹折志诲数至赣灾涯骨迢熔蛮梯玉俭机刻2010-§2逻辑代数与硬