A boolean domainB is a generic 2-element set, say, B = {0, 1}, whose elements are interpreted as logical values, typically 0 = false and 1 = true. In mathematics, a set can be thought of as any collection of distinct things considered as a whole. ... In logic, a truth value, or truth-value, is a value indicating to what extent a statement is true. ...