东南大学数字逻辑电路第一章逻辑代数基础.ppt

东南大学远程教育 数字逻辑电路 东南大学远程教育 数字逻辑电路 东南大学远程教育 数字逻辑电路 东南大学远程教育 数字逻辑电路 东南大学远程教育 数字逻辑电路 东南大学远程教育 数字逻辑电路 0 0 0 1 0 0 1 0 0 1 0 0 1 0 0 0 0 0 0 1 1 0 1 1 m3 m2 m1 m0 编号 最 小 项 变量 取值 A B A B A B A B 最小项的性质 1). 每一个最小项对应一组变量的取值， 任何一个最小项，只有一种变量取 值使它为1。 2). 全体最小项之和恒为1。 3). 任意两个最小项的乘积恒为0。 mi? mi=0 例：设 ABC=100 求标准“与或”表达式(最小项表达式) 1.7.2 卡诺图 1.构成： 卡诺图是按最小项原则构成的最小项方块图。卡 诺图中变量的排列是有原则的，变量取值按Gray（循 环码）排列，目的是为了获得“逻辑相邻”。 2. 画法： m3 m2 m1 m0 0 1 0 1 A B 两变量卡诺图 m6 m7 m5 m4 m2 m3 m1 m0 BC A 0 1 00 01 11 10 三变量卡诺图 m10 m11 m9 m8 m14 m15 m13 m12 m6 m7 m5 m4 m2 m3 m1 m0 00 01 11 10 00 01 11 10 AB CD m4、 m5相邻 0100 0101 m4、 m6相邻 0100 0110 1000 0000 m8、 m0相邻 ……… 四变量卡诺图 3. 作逻辑函数的卡诺图： 1) 由真值表直接画卡诺图。 2) 由逻辑函数画卡诺图。 1 1 0 0 0 1 1 0 BC A 0 1 00 01 11 10 0 0 1 1 0 0 0 0 BC A 0 1 00 01 11 10 4.化简： 依据: 1)相邻性。 2) 1 1 1 1 化简步骤：1)画出函数的卡诺图; 2)合并最小项——对“1”块画圈。 3)写出最简与或表达式。 1 1 BC A 0 1 00 01 11 10 BC AB 1 1 1 1 1 1 1 1 BC A 0 1 00 01 11 10 C 第六讲 主讲教师:王晓蔚 证明: 推广: 问题1： ？ 问题2： 若已知 BXY=BXZ 问：Y=Z ？ 为什么？ 第三讲 主讲教师:王晓蔚 1.4 逻辑代数的三个规则 1. 代入规则 定义: 在任何一个逻辑等式中,如果 将等式两边出现某一变量A的地方都代之以一个 函数Z,则等式仍然成立。 用途： 在等式变换中导出新公式。 例：已知 A(B+E)=AB+AE，试证明 将所有出现E的地方用(C+D)代 替，等式仍成立。 证明：原式左边=A[B+(C+D)] =AB+A(C+D) =AB+AC+AD 原式右边=AB+A(C+D) =AB+AC+AD 2. 反演规则 定义：对任意一个函数表达式Z， 如果将Z中所有的?换成+， +换成?，0换成1，1换成0，原变量换成反变量， 反变量换成原变量，且保持原先的逻辑优先顺 序，则可得到Z的反函数Z。 用途：求逻辑函数的反函数 直接对F求反： 例1： 例2： 1.不属于单个变量上的反号应保留不变。 2.运算顺序：括号 乘 加 对偶规则 定义：对任意一个函数表达式Z，如果 将Z中所有的?换成+，+换成?， 0换成1，1换成0，但原变量和反变量都不变， 并保持原先的逻辑优先顺序，则可得到Z函数 的对偶式Z* 。 若两个逻辑式相等，则它们的对偶式也相等。 用途：可以导出新公式，且使要证明的公式减少一半。 （见P22） 1.5 逻辑函数及表示方法 1.5.1 逻辑函数 逻辑函数—