布林代數恆等式

在數學抽象代数布尔代数中，有許多布林代數恆等式。
符號
基本恆等式
恆等式
:a\Rightarrow b = \lnot a \lor b
:a\Leftrightarrow b = \lnot a \lor b
:a\oplus b = \lnot a\cdot b \lor a\cdot\lnot b
:a\oplus 1 = \lnot a
布林函數恆等式
:x_{i}^{\sigma_{i}}=\begin{cases}x_{i}\;,\sigma_{i}=1\;,\\ \lnot x_{i}\;,\sigma_{i}=0\;,\end{cases}x_{i}\!\in\{0,1\}
基本乘法
基本加法
分離表示法