Changes

==Glossary of basic terms==

==Glossary of basic terms==

* 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 domain]]''' <math>\mathbb{B}</math> is a generic 2-element [[set]], for example, <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]]''' <math>x\!</math> is a [[variable]] that takes its value from a boolean domain, as <math>x \in \mathbb{B}.</math>

* In situations where [[boolean value]]s are interpreted as [[logical value]]s, a [[boolean-valued function]] ''f''&nbsp;:&nbsp;''X''&nbsp;→&nbsp;'''B''' or a [[boolean function]] ''g''&nbsp;:&nbsp;'''B'''^''k''&nbsp;→&nbsp;'''B''' is frequently called a '''[[proposition]]'''.

* In situations where [[boolean value]]s are interpreted as [[logical value]]s, a [[boolean-valued function]] ''f''&nbsp;:&nbsp;''X''&nbsp;→&nbsp;'''B''' or a [[boolean function]] ''g''&nbsp;:&nbsp;'''B'''^''k''&nbsp;→&nbsp;'''B''' is frequently called a '''[[proposition]]'''.