第3章-逻辑函数.pptx

第3章 逻辑函数主讲：成洁主要内容⒈ 基本逻辑运算⒉ 逻辑代数的基本公式和规则⒊ 逻辑函数的化简3.1 概 述1849年，英国数学家George Boole提出了描述客观事物逻辑关系的数学方法：布尔代数，又称逻辑代数。逻辑代数研究的是二值逻辑(0,1)关系。逻辑代数是分析和设计数字逻辑电路的数学工具。本节讨论：逻辑变量、逻辑函数、基本逻辑运算和逻辑代数公式，以及化简逻辑函数的两种方法—公式法和图形法。逻辑变量和逻辑函数　逻辑是指事物的因果关系，或者说条件和结果的关系，这些因果关系可以用逻辑运算来表示，也就是用逻辑代数来描述。　事物往往存在两种对立的状态，在逻辑代数中可以抽象地表示为 0 和 1 ，称为逻辑0状态和逻辑1状态。　逻辑代数中的变量称为逻辑变量，用大写字母表示。逻辑变量的取值只有两种，即逻辑0和逻辑1，0 和 1 称为逻辑常量，并不表示数量的大小，而是表示两种对立的逻辑状态。◆ 数字电路的特点及描述工具 数字电路是一种开关电路； 输入、输出量可用（0，l）来表示。 输入量和输出量之间的关系是一种逻辑上的因果关系。 仿效普通函数的概念，数字电路可以用逻辑函数的数学工具来描述。真值表、逻辑表达式、逻辑图、波形图、卡诺图 　逻辑函数： 如果对应于输入逻辑变量A、B、C、…的每一组确定值，输出逻辑变量F就有唯一确定的值，则称F是A、B、C、…的逻辑函数。记为3.2逻辑代数的运算规则 一. 基本公理 公理1： 设A为逻辑变量，若A≠0，则A＝1；若A≠l，则A＝0。 公理2： 0 ? 0 = 0 ； 1 + 1 = 11 ? 1 = 1； 0 + 0 = 0。 0 ? 1 = 0 ； 1 + 0 = 1 。 1 ? 0 = 0 ； 0 + 1 = 1 。公理3：公理4：公理5：二. 基本定律分别令A=0及A=1代入这些公式，即可证明它们的正确性。普通代数不适用!6、交换律A+B=B+AA? B=B ? A7、结合律A+(B+C)=(A+B)+C=(A+C)+BA? (B ? C)=(A ? B) ? C8、分配律A(B+C)=A ? B+A ? CA+B ? C=(A+B)(A+C)（）例1、证明分配律：A+BC=(A+B)(A+C)证明：分配律A(B+C)=AB+AC(A+B)(A+C)=AA+AB+AC+BC重叠律AA=A=A+AB+AC+BC分配律A(B+C)=AB+AC=A(1+B+C)+BC=A+BC0-1律A+1=1||1口诀：9.吸收律吸收：多余（冗余）项，多余（冗余）因子被取消、去掉 ? 被消化了。长项短项A + AB = A原变量的吸收： 证明：左式=A(1+B) =A =右式长中含短,留下短。?原式成立（）反(原)变量原(反)变量A + A B = A + B 添冗余项|| 1口诀：10.等同律 反变量的吸收： 证明：=右式长中含反,另证：去掉反。（）互为反变量 A B + A C + BC=AB+AC 口诀：添加添冗余因子12.包含律混合变量的吸收： 证明：正负相对,余全完。（消冗余项）=右式（）该式说明：两个与项相加时，若它们分别包含A和 因子，则两项中的其余因子组成可添加的第三个与项。其逆式也成立，即三个与项相加时，若两项中分别有 和A因子，而这两项的其余因子组成第三个乘积项时，则第三个乘积项是多余的，可以消去。包含律推论：三、 摩根定理(反演律）（De ? Morgan)证明：真值表法、穷举法推广到多变量：说明：两个（或两个以上）变量的与非（或非）运算等于两个（或两个以上）变量的非或（非与）运算。（）Y1=A·BY2=A+BA · B=A+BA+B= A · B用真值表证明摩根定理成立√A B0 00 11 01 111101110相等（） 摩根定理 公 式说明自等律0—1律互补律重叠律交换律吸收律还原律结合律分配律反演律=A⊙B=求反律逻辑代数的基本公式四. 基本运算规则 (1)代入规则 在任何逻辑等式中，如果等式两边所有出现某一变量的地方，都代之一个函数，则等式仍然成立。这个规则叫代入规则 。例如：等式利用代入规则，可以将基本公式推广为多变量的形式，扩大公式的使用范围 若用F=AC代替A，则根据代入规则，等式仍成立，即例1、证明：A+C+D=A ? C ? D证明：反演律A+B=A?B用Y=C+D代替BA+C+D=A ? C+D=A ? C ? D? +新表达式：+ ?显然：(2)反演规则 内容：将函数式F中所有的(反函数)变量与常数均取反规则:1.遵循先括号 ? 再乘法 ?后加法的运算顺序。2.不是单个变量上的