Misalkan \(B\) dan \(C\) merupakan aljabar Boolean. Suatu pemetaan bijektif \(\phi : B \rightarrow C\) disebut isomorfisma aljabar Boolean jika
\begin{align*}
\phi( a \vee b ) & = \phi(a) \vee \phi(b)\\
\phi( a \wedge b ) & = \phi(a) \wedge \phi(b)
\end{align*}
untuk semua \(a\) dan \(b\) dalam \(B\text{.}\)