represents the domain of Booleans, as in xBooleans.


  • The domain of Booleans is taken to consist of the symbols True and False.
  • xBooleans evaluates immediately if x is explicitly True or False.
  • Simplify[exprBooleans] can be used to try to determine whether an expression is Boolean, with no undetermined variables.
  • Booleans is output in TraditionalForm as .
Introduced in 1999