A boolean domain
is a generic 2-element set, say,
, whose elements are interpreted as logical values, typically,
and
.
A boolean variable
is a variable that takes its value from a boolean domain, as
.
As of this snapshot date, this entry was owned by Jon Awbrey.