Boolean domain
\\PMlinkescapephrase
generic\\PMlinkescapephraseGeneric
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 .