12,080
edits
Changes
add qv
A '''boolean domain''' '''B''' is a generic 2-element [[set]], say, '''B''' = {0, 1}, whose elements are interpreted as [[logical value]]s, typically 0 = false and 1 = true.
A '''boolean domain''' '''B''' is a generic 2-element [[set]], say, '''B''' = {0, 1}, whose elements are interpreted as [[logical value]]s, typically, 0 = false and 1 = true.
A '''boolean variable''' ''x'' is a [[variable]] that takes its value from a boolean domain, as ''x'' ∈ '''B'''.
A '''boolean variable''' ''x'' is a [[variable]] that takes its value from a boolean domain, as ''x'' ∈ '''B'''.
==See also==
==See also==
* [[Boolean function]]
* [[Boolean-valued function]]
* [[Boolean-valued function]]