类型形状布尔代数真值表
AND$$A·B$$
输入 输出  
ABA 和 B
000
010
100
111
OR$$A+B$$
输入输出
ABA 或 B
000
011
101
111
NOT$$\ov A$$
输入输出
Anot A
01
10
NAND$$\ov{A·B}$$
输入输出
ABA nand B
001
011
101
110
NOR$$\ov{A+B}$$
输入输出
ABA nor B
001
010
100
110
XOR$$A⊕B$$
输入输出
ABA xor B
000
011
101
110
XNOR$$\ov{A⊕B}$$ $$A⊙B$$
输入输出
ABA xnor B
001
010
100
111


布尔代数定理

AND, OR 是关联的: $$A·B·C=(A·B)·C=A·(B·C)$$ $$A+B+C=(A+B)+C=A+(B+C)$$ AND 和 OR 是可交换的: $$A·B=B·A$$ $$A+B=B+A$$ 分配属性: $$A+B·C=(A+B)·(A+C)$$ $$A·(B+C)=A·B+A·C$$ 德摩根定理: $$\ov{A+B}=\ov{A}·\ov{B}$$ $$\ov{A·B}=\ov{A}+\ov{B}$$ 单变量定理: $$A·A=A,\; A+A=A$$ $$A+\ov{A}=1,\; A·\ov{A}=0,\; A=\ov{(\ov{A})}$$ 更多二变量定理: $$A+A·B=A$$ $$A+\ov{A}·B=A+B$$ 身份和空操作: $$A·1=A,\; A+1=1$$ $$A+0=A,\; A·0=0$$ $$\ov1=0,\; \ov0=1$$