PlanetPhysics/Boolean Domain

A boolean domain $𝔹$ is a generic 2-element set, say, $𝔹=\{0,1\}$, whose elements are interpreted as logical values, typically, $0=\mathrm{f}\mathrm{a}\mathrm{l}\mathrm{s}\mathrm{e}$ and $1=\mathrm{t}\mathrm{r}\mathrm{u}\mathrm{e}$.

A boolean variable $x$ is a variable that takes its value from a boolean domain, as $x\in 𝔹$.