PlanetPhysics/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}$.