represents the domain of Booleans, as in .


  • The domain of Booleans is taken to consist of the symbols True and False.
  • 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 .
New in 4
New to Mathematica? Find your learning path »
Have a question? Ask support »