This is documentation for Mathematica 6, which was
based on an earlier version of the Wolfram Language.
View current documentation (Version 11.2)


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.
New in 4