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

Booleans

Booleans
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