Boolean domain


generic \PMlinkescapephraseGeneric

A Boolean domain 𝔹 is a generic 2-element set, say, 𝔹={0,1}, whose elements are interpreted as logical values, typically, 0=false and 1=true.

A Boolean variable x is a variable that takes its value from a Boolean domain, as x𝔹.

Title Boolean domain
Canonical name BooleanDomain
Date of creation 2013-03-22 17:58:05
Last modified on 2013-03-22 17:58:05
Owner Jon Awbrey (15246)
Last modified by Jon Awbrey (15246)
Numerical id 6
Author Jon Awbrey (15246)
Entry type Definition
Classification msc 68R01
Classification msc 68Q01
Classification msc 68P01
Classification msc 03G05
Classification msc 03C55
Classification msc 03B05
Related topic BooleanValuedFunction
Defines Boolean variable