第3章_逻辑代数.ppt

3.1.1逻辑代数定理 逻辑表达式：逻辑常量及逻辑变量之间的逻辑运算式称为逻 辑表达式。 表3.1.2 逻辑代数基本定理 证明方法：枚举法----按基本逻辑运算（与、或、非）的定 义列出真值表进行逻辑运算。 3.1.4 常用恒等式 证明常用恒等式的方法：用基本定理导出或枚举法 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．实际问题的逻辑函数 3.4.2 逻辑函数的卡诺图 2． 逻辑函数的卡诺图 方法二：由表达式直接填入 （2）由真值表画卡诺图 3.4.3逻辑函数的卡诺图化简 推广到一般情况： 两-两相邻的2n个方格合并，消去不同的n个变量，保留公共变量。 因为2n个方格合并时，提出公共变量（公因子）后，恰是余下的n个变量的全部最小项之和，其值恒为1。 公共变量是卡诺图上2n个最小项具有相同行列编码的变量之积。 2．化简的步骤 例3.10 化简函数(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.13 用卡诺图化简逻辑函数Y(A,B,C,D)=∑m(1,2,5,6,9)+ ∑d(10,11,12,13,14,15) 作 业 3.1 3.2 3.3（1、2、3) 3.4 3.5 3.8 3.9(1、2、3） 3.10（1） 3.11（1、2、3） 3.12 3.14（1、2、3） 3.15（1、4） 3.17（1、2） 3.19（1、2） 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 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的卡诺图。 解：a.由真值表可直接填入卡诺图 表3.4.2 1 0 10 11 01 00 1 BC A 1 1 1 b.由真值表写标准表达式，填入卡诺图 1．化简的依据 10 11 01 00 10 11 01 00 图3.4.３　4变量卡诺图 CD AB 例： 凡几何相邻的方格，对应的最小项逻辑上也相邻。而逻辑相邻的最小 项求和时，可反复应用 的关系进行最小项合并，消去最小项中不同的变量（ ），保留公共变量（公因子）。公因子是卡诺图上最小项 具有相同行列编码的变量之积。 相邻的2个方格合并，消去一个变量； 相邻的4个方格合并， 消去2个变量； 相邻的8个方格合并，消去3个变量。 (1)画出逻辑函数的卡诺图（2n个方格） (2)画卡诺圈 ①卡诺圈越少越好（因一个卡诺圈代表一个与项）； ②卡诺圈内值为1的方格越多越好（因圈越大消去的变量越多，与项包含的变量越少）。 ③卡诺圈可以交迭，但每个卡诺圈必须至少有与其它卡诺圈不同的、值为1的方格。 (3)求每个卡诺圈的公共变量之积（与项）并