PlanetPhysics/Boolean Domain

A boolean domain is a generic 2-element set, say, , whose elements are interpreted as logical values, typically, and .

A boolean variable is a variable that takes its value from a boolean domain, as .