The boolean domain or boolean field is a -element set, say or , whose elements may be interpreted as truth values. Note that is the set of all truth values in classical logic, but this cannot be assumed in all logics. If we think of as a pointed set equipped with the true element, then there is an effectively unique boolean domain.
A boolean variable is a variable that takes its value in a boolean domain, as . If this variable depends on parameters, then it is (or defines) a Boolean-valued function, that is a function whose target is .
An element of is a binary digit, or bit.
Note that the term ‘boolean field’ (or just ‘field’, depending on the context) is sometimes used more generally for any boolean algebra. In fact, the boolean domain is the initial boolean algebra. If we interpret a boolean algebra as a boolean ring, then the boolean domain is the finite field with elements.
Last revised on September 13, 2010 at 19:14:14. See the history of this page for a list of all contributions to it.