Definition: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 = \operatorname{false}$$ and $$1 = \operatorname{true}.$$