Boolean domain
Revision as of 05:54, 19 May 2007 by Jon Awbrey (talk | contribs) (copy text from [http://www.opencycle.net/ OpenCycle] of which Jon Awbrey is the sole author)
A boolean domain B is a generic 2-element set, say, B = {0, 1}, whose elements are interpreted as logical values, typically 0 = false and 1 = true.
A boolean variable x is a variable that takes its value from a boolean domain, as x ∈ B.