类型 | 形状 | 布尔代数 | 真值表 |
AND |  | $$A·B$$ |
输入 | 输出 |
A | B | A 和 B |
0 | 0 | 0 |
0 | 1 | 0 |
1 | 0 | 0 |
1 | 1 | 1 |
|
OR |  | $$A+B$$ |
输入 | 输出 |
A | B | A 或 B |
0 | 0 | 0 |
0 | 1 | 1 |
1 | 0 | 1 |
1 | 1 | 1 |
|
NOT |  | $$\ov A$$ |
|
NAND |  | $$\ov{A·B}$$ |
输入 | 输出 |
A | B | A nand B |
0 | 0 | 1 |
0 | 1 | 1 |
1 | 0 | 1 |
1 | 1 | 0 |
|
NOR |  | $$\ov{A+B}$$ |
输入 | 输出 |
A | B | A nor B |
0 | 0 | 1 |
0 | 1 | 0 |
1 | 0 | 0 |
1 | 1 | 0 |
|
XOR |  | $$A⊕B$$ |
输入 | 输出 |
A | B | A xor B |
0 | 0 | 0 |
0 | 1 | 1 |
1 | 0 | 1 |
1 | 1 | 0 |
|
XNOR |  | $$\ov{A⊕B}$$ $$A⊙B$$ |
输入 | 输出 |
A | B | A xnor B |
0 | 0 | 1 |
0 | 1 | 0 |
1 | 0 | 0 |
1 | 1 | 1 |
|
布尔代数定理
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$$