2 逻辑代数基础
逻辑代数运算和集合运算有很多相通之处：
| 逻辑运算 | $+$（或） | $\cdot$（与） | $\overline{A}$（非） | $\oplus$（异或） | $1$ | $0$ |
|---|---|---|---|---|---|---|
| 集合运算 | $\cup$（并） | $\cap$（交） | ~$A$ （绝对补集） |
$\oplus$ （对称差集） |
$U$ （全集） |
$\varnothing$ |
其中异或运算和对称差集运算甚至使用了相同的符号。实际上，完全可以把逻辑变量看成是一些
逻辑代数运算和集合运算有很多相通之处：
| 逻辑运算 | $+$（或） | $\cdot$（与） | $\overline{A}$（非） | $\oplus$（异或） | $1$ | $0$ |
|---|---|---|---|---|---|---|
| 集合运算 | $\cup$（并） | $\cap$（交） | ~$A$ （绝对补集） |
$\oplus$ （对称差集） |
$U$ （全集） |
$\varnothing$ |
其中异或运算和对称差集运算甚至使用了相同的符号。实际上，完全可以把逻辑变量看成是一些