逻辑门与运算公式

1.逻辑门

        1.1.与（AND）

                Y = A · B

                真值表和图形符号：

                                                               

                特征：“全1为1”。

        1.2.或（OR）

                Y = A + B

                真值表和图形符号：

                                                             

                特征：“有1为1”。

        1.3.非（NOT）

                 Y = A'

                真值表和图形符号：

                                                         

                特征：“取反”。

        1.4.复合逻辑运算

                1.4.1.与非（NAND）

                         Y = (A · B)'，即与运算和非运算的组合，图形符号如下（小圆圈表示非运算）：

                1.4.2.或非（NOR）

                         Y = (A + B)' ，即或运算和非运算的组合，图形符号如下：

                1.4.3.异或（XOR）

                        Y = A ⊕ B = A · B' + A' · B，特征：“相异为1”，真值表和图形符号如下：

                                                                        

                1.4.4.同或（XNOR）

                        Y = A ⊙ B = A · B + A' · B'，特征：“相同为1”，真值表和图形符号如下：

                                                                  

                        另外，异或和同或互为反运算，即有：

                                                              A ⊕ B = (A ⊙ B)'；

                                                              A ⊙ B = (A ⊕ B )'。

参考逻辑门的符号 || Logic Gate || 与或非 与非 或非 异或门 同或门 || 数电。

2.基本公式

名称	公式1	公式2
0-1律	A·0=0	A+0=A
	A·1=A	A+1=1
互补律	AA'=0	A+A'=1
重叠律	AA=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)
反演律	(AB)'=A'+B'	(A+B)'=A'·B'
吸收律	A(A+B)=A	A+AB=A
	A(A'+B)=AB	A+A'B=A+B
	(A+B)(A'+C)(B+C)=(A+B)(A'+C)	AB+A'C+BC=AB+A'C
对合律	A'=A