1、真值表真值表 （Truth table）逻辑函数式逻辑函数式 与门与门（AND gate)逻逻辑辑符符号号与逻辑的表示方法：与逻辑的表示方法：ABY&000100011011ABBAY 功能表功能表灭灭灭灭灭灭亮亮断断 断断断断 合合合合 断断合合 合合ABYABY2. 或逻辑：或逻辑： 决定一事件结果的诸条件中，只要有一个或一个决定一事件结果的诸条件中，只要有一个或一个以上具备时，事件就会发生的逻辑关系。以上具备时，事件就会发生的逻辑关系。BAY 或门或门（OR gate) )或逻辑关系或逻辑关系开关开关A开关开关B灯灯Y电源电源真值表真值表逻辑函数式逻辑函数式逻逻辑辑符符号号0111000
2、11011ABYABY13. 非逻辑：非逻辑： 只要条件具备，事件便不会发生；条件不具备，只要条件具备，事件便不会发生；条件不具备，事件一定发生的逻辑关系。事件一定发生的逻辑关系。真值表真值表逻辑函数式逻辑函数式A Y 逻逻辑辑符符号号非门非门（NOT gate)非逻辑关系非逻辑关系1001AY1开关开关A灯灯Y电源电源RAY二、逻辑变量与逻辑函数及常用复合逻辑运算二、逻辑变量与逻辑函数及常用复合逻辑运算1. 逻辑变量与逻辑函数逻辑变量与逻辑函数在逻辑代数中，用英文字母表示的变量称在逻辑代数中，用英文字母表示的变量称为逻辑变量。在二值逻辑中，变量的取值为逻辑变量。在二值逻辑中，变量的取值不是不
3、是 1 就是就是 0 。逻辑函数：逻辑函数：如果输入逻辑变量如果输入逻辑变量 A、B、C 的取值的取值确定之后，输出逻辑变量确定之后，输出逻辑变量 Y 的值也被的值也被唯一确定，则称唯一确定，则称 Y 是是 A、B、C 的的逻辑函数。并记作逻辑函数。并记作 CBAFY, 原变量和反变量：原变量和反变量：字母上面无反号的称为字母上面无反号的称为原变量原变量，有反号的叫做有反号的叫做反变量反变量。逻辑变量：逻辑变量：(1) 与非逻辑与非逻辑 (NAND)(2) 或非逻辑或非逻辑 (NOR)(3) 与或非逻辑与或非逻辑 (AND OR INVERT)(真值表略真值表略)1110ABY 10 00 1
4、1 01 1CDABY 3AB&1YBAY 210002. 几种常用复合逻辑运算几种常用复合逻辑运算ABY1Y2Y1、Y2 的真值表的真值表AB2Y1AB&CD3Y1(4) 异或逻辑异或逻辑(ExclusiveOR)(5) 同或逻辑同或逻辑(ExclusiveNOR)( (异或非异或非) )AB=14YBABABAY 401100 00 11 01 1 AB=15YBAY 5= ABABY4ABBA 10010 00 11 01 1ABY53. 逻辑符号对照逻辑符号对照曾用符号曾用符号美国符号美国符号ABYABYABYAYAY国标符号国标符号AB&BAY A1AY ABYABBAY 1国标符号
5、国标符号曾用符号曾用符号美国符号美国符号AB&BAY ABYABYABYAB=1BAY ABY ABYABYABBAY 1或：或：0 + 0 = 01 + 0 = 11 + 1 = 1 与：与：0 0 = 00 1 = 01 1 = 1 非：非： 1 0 0 1 二、变量和常量的关系二、变量和常量的关系( (变量：变量：A、B、C) )或：或：A + 0 = AA + 1 = 1与与: :A 0 = 0A 1 = A 非：非： 0 AA AA1 1. 1. 2 公式和定理公式和定理一、一、 常量之间的关系常量之间的关系( (常量：常量：0 和和 1 ) )三、与普通代数相似的定理三、与普通代数
6、相似的定理交换律交换律ABBA ABBA 结合律结合律)()(CBACBA )()(CBACBA 分配律分配律ACABCBA )()( )(CABABCA 例例 1. 1. 1 证明公式证明公式)(CABABCA 解解 方法一：公式法方法一：公式法CBBACAAACABA )(右右式式BCABACA BCBCA )1(左式左式 BCA 证明公式证明公式)(CABABCA 方法二：真值表法方法二：真值表法 ( (将变量的各种取值代入等式将变量的各种取值代入等式两边，进行计算并填入表中两边，进行计算并填入表中) ) A B CCB BCA BA CA )(CABA 0 0 00 0 10 1 00
7、 1 11 0 01 0 11 1 01 1 100 0 1 0 0 0 1 000111110001111100 1 1 1 1 1 1 01 0 1 1 1 1 1 相等相等四、逻辑代数的一些特殊定理四、逻辑代数的一些特殊定理BABA BABA 同一律同一律A + A = AA A = A还原律还原律AA 例例 1. 1. 2 证明：证明：德德 摩根定理摩根定理 A B 0 0 0 1 1 0 1 1BA BA 00 0 1 1110ABBA 11 0 0 10101110BA BA BA 011110001000相等相等相等相等德德 摩根定理摩根定理 将将Y 式中式中“.”换成换成“+”
8、,“+”换成换成“.” “0”换成换成“1”,“1”换成换成“0” 原原变量换成变量换成反反变量，变量，反反变量换成变量换成原原变量变量五、关于等式的三个规则五、关于等式的三个规则1. 代入规则：代入规则：等式中某一变量都代之以一个逻等式中某一变量都代之以一个逻辑函数，则等式仍然成立。辑函数，则等式仍然成立。例如，已知例如，已知BABA ( (用函数用函数 A + C 代替代替 A) )则则BCABCABCA )(2. 反演规则：反演规则：不属于单个变量上的反号应保留不变不属于单个变量上的反号应保留不变运算顺序：运算顺序：括号括号 乘乘 加加注意注意:Y例如：例如：已知已知 )( 1CDCBA
9、Y ) ( ) (1DCCBAY CDCBAY 2 CDCBAY )(2反演规则的应用：反演规则的应用：求逻辑函数的反函数求逻辑函数的反函数则则 将将 Y 式中式中“.”换成换成“+”,“+”换成换成“.” “0”换成换成“1”,“1”换成换成“0” 原原变量换成变量换成反反变量，变量，反反变量换成变量换成原原变量变量已知已知则则运算顺序：运算顺序：括号括号 与与 或或不属于单个变量上不属于单个变量上的反号应保留不变的反号应保留不变Y3. 对偶规则：对偶规则：如果两个表达式相等，则它们的对如果两个表达式相等，则它们的对偶式也一定相等。偶式也一定相等。将将 Y 中中“. ”换成换成“+”,“+”
10、换成换成“.” “0” 换成换成“1”,“1”换成换成“0” )()(1DC BCAY )( 1CDCBAY CDCBA Y 2 CD CBAY )(2例如例如对偶规则的应用对偶规则的应用：证明等式成立：证明等式成立0 0 = 01 + 1 = 1 0 AA AA1 ) ( 对对偶偶式式Y 运算顺序：运算顺序：括号括号 与与 或或六、六、若干常用公式若干常用公式BAAB (1)ABA (2)BAA (3)CAABBCCAAB (4)ABB ABABA (5)CAAB (6)AAA ) ()(BBA )1(BA )(BAAA )(CABA A A BA C ABA 推广推广 BCAACAAB)(
11、 左左BCAABCCAAB CAAB 公式公式 (4) 证明：证明：CAABBCDCAAB 推论推论ABB ABABA BABA 左左)()(BA BA BBABB AAA ABB A 公式公式 (5) 证明：证明：即即BA = AB同理可证同理可证CAABBCCAAB AABA BA AB精品课件精品课件！精品课件精品课件！七、关于异或运算的一些公式七、关于异或运算的一些公式异或异或同或同或BABABA B AAB AB(1) 交换律交换律ABBA (2) 结合律结合律)()(C BACBA (3) 分配律分配律 )(ACAB C BA (4) 常量和变量的异或运算常量和变量的异或运算AA 1AA 00 AA1 AA(5) 因果互换律因果互换律如果如果CBA BCA 则有则有ACB BA = ABBA AB
