Changes

==Glossary of basic terms==

==Glossary of basic terms==

* A '''[[boolean domain]]''' '''B''' is a generic 2-element [[set]], say, '''B''' = {0, 1}, whose elements are interpreted as [[logical value]]s, usually but not invariably with 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, usually but not invariably with <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]]''' ''x'' is a [[variable]] that takes its value from a boolean domain, as ''x''&nbsp;&isin;&nbsp;'''B'''.