《数字电子技术基础》第3章逻辑代数合编.ppt

3.1.1逻辑代数定理 逻辑表达式：逻辑常量及逻辑变量之间的逻辑运算式称为逻 辑表达式。 表3.1.2 逻辑代数基本定理 证明方法：枚举法，即按基本逻辑运算（与、或、非）的定义列出真值表进行逻辑运算。 3.1.2 常用恒等式 证明常用恒等式的方法：用基本定理导出或枚举法 3.2 逻辑运算的基本规则 3.2.2 反演规则 3.2.3 对偶规则 3.3 逻辑函数的代数法化简 2.最简与或表达式的标准： （1）乘积项的个数最少； 2、吸收法 5、配项法 3.4 逻辑函数的卡诺图化简 3.4.1 逻辑函数标准表达式 最小项的性质： ①对于任意一个最小项，只有一组变量取值使其为1，其它组取值使其为0。 为1 的取值组合是最小项的编号。 逻辑相邻: ——仅有一个变量不同的2个最小项称为逻辑相邻最小项，简称相邻项。 最小项一般表达式： 3变量表达式： (由表3.4.1的最后一列得） 2.标准或与式 一般地，n个变量的逻辑函数有2n个最大项。例如，3变量的逻辑函数有23个最大项， 最大项的编号方法： 最大项一般表达式： 由式（3.4.3）得 3．实际问题的逻辑函数 例3.4.1 一楼梯间照明电路如下图所示。双控开关A和B一个装在楼上，一个装在楼下。楼下时开灯，上楼后则可关灯，反之亦然。 3.4.2 逻辑函数的卡诺图 2． 逻辑函数的卡诺图 方法二：由表达式直接填入 （2）由真值表画卡诺图 3.4.3逻辑函数的卡诺图化简 2．化简的步骤 例3.4.4化简函数(A,B,C,D)=∑m(0,1,2,5,6,7,14,15)。 解： 例如：用二变量AB控制一台电梯； AB=00电梯停；AB=01电梯下降； AB=10电梯上升。而AB=11是不允许的取值组合，因为任何时刻一台电梯不能同时上行和下行。这个逻辑问题的约束方程为AB=0，即允许的取值组合满足约束方程，而不允许的 无关项在真值表和卡诺图中用 “?” 或“d”表示。 约束方程： 3.5.2　应用无关项化简函数 　　　对于无关项，函数为任意值d（0或1），意味着在函数表达式中可以包含或者去掉无关项； 在卡诺图中，无关项对应的方格可为0也可为1。 因此，不完全确定的逻辑函数化简时，可根据需要加上或去掉部分甚至全部无关项，使不完全确定的逻辑函数最简。 例3.5.2 用卡诺图化简逻辑函数Y(A,B,C,D)=∑m(1,2,5,6,9)+ ∑d(10,11,12,13,14,15) 作业 3.1 3.3(2) (4) 3.4 (1) (3) 3.6 3.7 (1) (3) 3.8(a) 3.11 (1) (3)(5)(7)(9) 3.14 (1) (4) 3.15(2) (4) 3.17 (1) (2) 3.19 (2) (5) 首先将逻辑函数转换为最小项表达式，然后在卡诺图上函 数包含的最小项对应的小方格填入１，在其他小方格填入０（ ０也可不填写）。 例3.4.2 用卡诺图表示逻辑函 数 。 解： 10 11 01 00 10 11 01 00 （1）由逻辑表达式画(填入）卡诺图 AB CD 1 1 1 1 方法一：转换为最小项表达式 A BC 00 01 11 10 0 1 1 1 1 1 1 A BC A BC 00 01 11 10 0 1 1 BC AB 1 1 1 1 1 1 1 1 0 1 1 1 1 0 1 0 0 0 1 1 1 1 0 0 0 1 0 0 1 0 0 0 0 0 0 Y C B A 在卡诺图中，使逻辑函数值为１的最小项填入１；使逻辑 函数值为０的最小项填入０，为了直观和简洁，通常０不填写。 例3.4.３ 已知逻辑函数Y的真值表3.4.2 ，画出Y的卡诺图。 解：由真值表可直接填入卡诺图 表3.4.2 1 0 10 11 01 00 1 BC A 1 1 1 由真值表写标准表达式，填入卡诺图 1．化简的依据 10 11 01 00 10 11 01 00 图3.4.３　4变量卡诺图 CD AB 例： 凡几何相邻的方格，对应的最小项逻辑上也相邻。而逻辑相邻的最小 项求和时，可反复应用 的关系进行最小项合并，消去最小项中不同的变量（ ），保留公共变量（公因子）。公因子是卡诺图