Changes

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''' <math>\mathbb{B}</math> is a generic 2-element [[set]], say, <math>\mathbb{B} = \{ 0, 1 \},</math> whose elements are interpreted as [[logical value]]s, typically, <math>0 = \operatorname{false}</math> and <math>1 = \operatorname{true}.</math>

A '''boolean variable''' ''x'' is a [[variable]] that takes its value from a boolean domain, as ''x''&nbsp;&isin;&nbsp;'''B'''.  

A '''boolean variable''' <math>x\!</math> is a [[variable]] that takes its value from a boolean domain, as <math>x \in \mathbb{B}.</math>

==See also==

==See also==