《逻辑代数基本公式及定律精选文档.ppt》由会员分享，可在线阅读，更多相关《逻辑代数基本公式及定律精选文档.ppt（28页珍藏版）》请在taowenge.com淘文阁网|工程机械CAD图纸|机械工程制图|CAD装配图下载|SolidWorks_CaTia_CAD_UG_PROE_设计图分享下载上搜索。
1、逻辑代数基本公式及定律本讲稿第一页，共二十八页（2）概述部分概述部分 在二值逻辑中，逻辑代数中的逻辑变量取值只有在二值逻辑中，逻辑代数中的逻辑变量取值只有两个：两个：1（逻辑（逻辑1）、）、0（逻辑（逻辑0）。）。0和和1表示两个对立的逻辑状态。表示两个对立的逻辑状态。一件事情的是与非一件事情的是与非信号的有无信号的有无电平的高低电平的高低本讲稿第二页，共二十八页（3）11.2.1 11.2.1 逻辑代数中的三种基本运算逻辑代数中的三种基本运算基本逻辑运算：基本逻辑运算：与与 (and)、或或(or)、非非(not)。一、一、“与与”逻辑逻辑与逻辑：与逻辑：决定事件发生的各条件中，所有条件都具
2、决定事件发生的各条件中，所有条件都具备，事件才会发生（成立）。备，事件才会发生（成立）。规定规定:开关合为逻辑开关合为逻辑“1”开关断为逻辑开关断为逻辑“0”灯亮为逻辑灯亮为逻辑“1”灯灭为逻辑灯灭为逻辑“0”EYABC本讲稿第三页，共二十八页（4）&ABCY逻辑符号：逻辑符号：AYBC00001000010011000010101001101111逻辑式：逻辑式：Y=ABC逻辑乘法（逻辑与）真值表EYABC真值表特点真值表特点:有有0出出0,全全1出出1与逻辑运算规则：与逻辑运算规则：0 0=0 0 1=01 0=0 1 1=1本讲稿第四页，共二十八页（5）二、二、“或或”逻辑逻辑AEYBC
3、或逻辑：或逻辑：决定事件发生的各条件中，有一个或一个以上决定事件发生的各条件中，有一个或一个以上的条件具备，事件就会发生（成立）。的条件具备，事件就会发生（成立）。规定规定:开关合为逻辑开关合为逻辑“1”开关断为逻辑开关断为逻辑“0”灯亮为逻辑灯亮为逻辑“1”灯灭为逻辑灯灭为逻辑“0”本讲稿第五页，共二十八页（6）AYBC00001001010111010011101101111111真值表1ABCY逻辑符号：逻辑符号：逻辑式：逻辑式：Y=A+B+C逻辑加法(逻辑或)AEYBC真值表特点：真值表特点：有有1出出1,全全0出出0。或逻辑运算规则或逻辑运算规则:0+0=0 0+1=11+0=1 1
4、+1=1本讲稿第六页，共二十八页（7）三、三、“非非”逻辑逻辑“非非”逻辑：逻辑：决定事件发生的条件只有一个，条件不具备决定事件发生的条件只有一个，条件不具备时事件发生（成立），条件具备时事件不发生。时事件发生（成立），条件具备时事件不发生。规定规定:开关合为逻辑开关合为逻辑“1”开关断为逻辑开关断为逻辑“0”灯亮为逻辑灯亮为逻辑“1”灯灭为逻辑灯灭为逻辑“0”AEYR本讲稿第七页，共二十八页（8）逻辑符号：逻辑符号：逻辑非(逻辑反)AY0110真值表真值表AEYR真值表特点真值表特点:有有1出出0,有有0出出1。逻辑式：逻辑式：运算规则：运算规则：AY1本讲稿第八页，共二十八页（9）四、几种
5、常用的复合逻辑运算四、几种常用的复合逻辑运算“与与”、“或或”、“非非”是三种基本的逻辑运是三种基本的逻辑运算，任何其它的复杂逻辑运算都可以用与、或、算，任何其它的复杂逻辑运算都可以用与、或、非的组合来实现。非的组合来实现。与非：与非：条件条件A、B、C都具备，都具备，则则Y 不发生。不发生。&ABCY几种常用的逻辑运算如下表：几种常用的逻辑运算如下表：本讲稿第九页，共二十八页（10 或非：或非：条件条件A、B、C任一具备，任一具备，则则Y 不发生。不发生。1ABCY异或：异或：条件条件A、B有一个具备，另有一个具备，另一个不具备则一个不具备则Y 发生。发生。=1ABY同或：同或：条件条件A、
6、B相同，则相同，则Y 发发生。生。=ABY本讲稿第十页，共二十八页（11 图图2.2.3 复合逻辑的图形符号和运算符号复合逻辑的图形符号和运算符号本讲稿第十一页，共二十八页（12 AYBC00011001010111010011101101111110与非逻辑真值表AYBC00011000010011000010101001101110或非逻辑真值表异或逻辑真值表ABY000110101011同或逻辑真值表ABY100010001111本讲稿第十二页，共二十八页（13 2.3 2.3 逻辑代数的基本公式和常用公式逻辑代数的基本公式和常用公式2.3.1 基本公式基本公式加加运算规则运算规则:0+
7、0=0 ，0+1=1，1+0=1，1+1=1乘乘运算规则运算规则:00=0 01=0 10=0 11=1非非运算规则运算规则:一、基本定律一、基本定律本讲稿第十三页，共二十八页（14 二、交换律二、交换律三、结合律三、结合律四、分配律四、分配律A+B=B+AA B=B AA+(B+C)=(A+B)+C=(A+C)+BA(B C)=(A B)CA(B+C)=A B+A CA+B C=(A+B)(A+C)本讲稿第十四页，共二十八页（15 求证求证:（分配律第（分配律第2条）条）A+BC=(A+B)(A+C)证明证明:右边右边=(A+B)(A+C)=AA+AB+AC+BC ;分配律分配律=A+A(B
8、+C)+BC ;结合律结合律,AA=A=A(1+B+C)+BC ;结合律结合律=A 1+BC ;1+B+C=1=A+BC ;A 1=A=左边左边本讲稿第十五页，共二十八页（16 五、德五、德 摩根定理摩根定理(反演律）反演律）（De Morgan)证明：证明：真值表法、真值表法、穷举法穷举法推广到多变量：推广到多变量：说明：两个（或两个以上）变量的说明：两个（或两个以上）变量的与非与非（或非或非）运）运算等于两个（或两个以上）变量的算等于两个（或两个以上）变量的非或非或（非与非与）运）运算。算。本讲稿第十六页，共二十八页（17 用真值表证明摩根定理成立用真值表证明摩根定理成立A B=A+B A
9、+B=A BA B0 00 11 01 1Y1=ABY2=A+B11101110相等本讲稿第十七页，共二十八页（18 吸收：多余（吸收：多余（冗余冗余）项，多余（）项，多余（冗余冗余）因子被取消、去掉）因子被取消、去掉 被消化了。被消化了。1.原变量的吸收：原变量的吸收：A+AB=A证明：证明：左式左式=A(1+B)原式成立原式成立口诀：口诀：长中含短长中含短,留下短。留下短。长项短项 =A =右式右式1|2.3.2 若干常用公式若干常用公式-几种形式的吸收律几种形式的吸收律本讲稿第十八页，共二十八页（19 2.反变量的吸收：反变量的吸收：A+A B=A+B 证明：证明：=右式右式口诀：口诀：
10、长中含反长中含反,去掉反。去掉反。原(反)变量反(原)变量添冗余项 1|本讲稿第十九页，共二十八页（20 3.混合变量的吸收：混合变量的吸收：证明：证明：添冗余因子添冗余因子A B+A C+BC=AB+AC 互互为为反反变量变量=右式右式口诀：口诀：正负相对正负相对,余全完。余全完。（消（消冗余项）冗余项）添加本讲稿第二十页，共二十八页（21 证明：证明：4.A A B=A B A A B=AA AB=A(A+B)=A BA A B=A A B=?A(A+B)=A AAABAB 本讲稿第二十一页，共二十八页（22 2.4 逻辑代数的基本定理2.4.1 2.4.1 代入定理代入定理内容内容：在任
11、何一个包含变量在任何一个包含变量A A的逻辑等式中，若的逻辑等式中，若以另外一个以另外一个逻辑式逻辑式代替式中所有的变量代替式中所有的变量A A，则等，则等式仍然成立。式仍然成立。例：例：用代入规则证明用代入规则证明德德 摩根定理摩根定理也适用于多变量的也适用于多变量的情况。情况。二变量的德二变量的德 摩根定理为：摩根定理为：本讲稿第二十二页，共二十八页（23 以（以（B BC C）代入（）代入（1 1）式中）式中B B，以（，以（B+CB+C）代入（）代入（2 2）式中式中B B，则得到：，则得到：注：注：代入定理还可以扩展其他基本定律的代入定理还可以扩展其他基本定律的应用范围应用范围！本讲
12、稿第二十三页，共二十八页（24 2.4.2 2.4.2 反演定理反演定理内容：内容：将函数式将函数式F中所有的中所有的 +变量与常数均取反变量与常数均取反1.遵循先括号遵循先括号 再乘法再乘法 后加法的后加法的运算顺序运算顺序。2.不是一个变量上的反号不是一个变量上的反号不动不动。规则规则:用处：用处：实现互补运算（求反运算）。实现互补运算（求反运算）。新表达式：新表达式：显然：显然：(反函数反函数)本讲稿第二十四页，共二十八页（25 例例1：与或式注意括号注意括号本讲稿第二十五页，共二十八页（26 例例2：与或式反号不动反号不动本讲稿第二十六页，共二十八页（27 2.4.3 2.4.3 对偶定理对偶定理将函数式将函数式F中所有的中所有的对偶式：对偶式：+常量常量取反取反新表达式：新表达式：对对偶偶式式对偶定理：对偶定理：当某个逻辑恒等式成当某个逻辑恒等式成立时，则其对偶式也成立。立时，则其对偶式也成立。若若则：则：注：证明两个逻辑式相等时，也可以通过证明它们的对偶式相等来完成。本讲稿第二十七页，共二十八页（28 本讲稿第二十八页，共二十八页