逻辑图:国外符号对照(二) 或非门 & 与非门 异或门 异或非门彐⊕ >
逻辑图：国外符号对照（二） 异或门 & 与非门 1 或非门 异或非门 =1 =
12逻辑代数的基本定理 变量与常量的运算(0-1律) 4·1=4 A+0=A A·0=0 4+1=1 二、等幂律:A·A=A 4+A=A 、互补律:A·A=0 A+A=1 四、自反律:A
1.2 逻辑代数的基本定理 一、变量与常量的运算(0-1律)： A · 1 = A A + 0 = A A · 0 = 0 A + 1 = 1 二、等幂律： A · A = A A+A = A 三、互补律： A · = 0 A+ = 1 四、自反律： A = A A A
五、交换律: AB= BA A+B=B+A 六、结合律: A (BC)-(AB)C A+(B+C)=(A+B)+C 七、分配律: A(B+C)=AB+AC A+BC=(A+B)A+C) 八、反演律( De morgan定理) AB=A+BA+B=A·B
五、交换律： AB = BA A+B = B+A 六、结合律： A(BC) = (AB)C A+(B+C) = (A+B)+C 七、分配律： A(B+C) = AB+AC A+BC = (A+B)(A+C) 八、反演律（De Morgan定理 ） ： AB = A+ B A+ B = A B
逻辑代数的基本定理(一): >代入定理 在任何一个逻辑等式中,若将其中 个逻辑变量全部用另一个逻辑函数代 替,则等式仍然成立。 例:若F=AC+BC,C=P+Q 则Y=A(P+Q)+B(P+Q)
逻辑代数的基本定理（一）： ➢ 代入定理 在任何一个逻辑等式中，若将其中 一个逻辑变量全部用另一个逻辑函数代 替，则等式仍然成立。 例：若 Y=AC + BC，C = P + Q 则 Y = A (P + Q) + B (P + Q)
逻辑代数的基本定理(二): >反演定理 对于任何一个逻辑函数式,将其中的 所有逻辑符号“+”、“·”交换, 所有逻辑常量“1”、“0”交换, 所有逻辑变量取反。不改变原来的运算顺序。 这样得到的逻辑函数是原来逻辑函数的反函数。 例: Y=AB+CD+o Y=(A+B)(C+D)·1
逻辑代数的基本定理（二）： ➢ 反演定理 对于任何一个逻辑函数式，将其中的 所有逻辑符号 “ + ” 、 “ ·” 交换， 所有逻辑常量 “ 1 ” 、 “ 0 ” 交换， 所有逻辑变量取反。不改变原来的运算顺序。 这样得到的逻辑函数是原来逻辑函数的反函数。 例： ( )( ) 1 0 = + + = + + Y A B C D Y AB CD