# Boolean domain

A Boolean domain $\mathbb{B}$ is a generic 2-element set, say, $\mathbb{B}=\{0,1\}$, whose elements are interpreted as logical values, typically, $0=\mathrm{false}$ and $1=\mathrm{true}$.
A Boolean variable $x$ is a variable that takes its value from a Boolean domain, as $x\in\mathbb{B}$.