Mathematica 9 is now available
SEARCH MATHEMATICA 8 DOCUMENTATION
THIS IS DOCUMENTATION FOR AN OBSOLETE PRODUCT.
SEE THE DOCUMENTATION CENTER FOR THE LATEST INFORMATION.
Mathematica > Mathematics and Algorithms > Formula Manipulation > Assumptions and Domains >
Built-in Mathematica SymbolTutorials »|See Also »|More About »

Booleans

Booleans
represents the domain of Booleans, as in xElementBooleans.
  • The domain of Booleans is taken to consist of the symbols True and False.
  • xElementBooleans evaluates immediately if x is explicitly True or False.
  • Simplify[exprElementBooleans] can be used to try to determine whether an expression is Boolean, with no undetermined variables.
EXAMPLESCLOSE ALL
Scope   (3)
Domain for FindInstance:
Domain for Resolve, in this case solving satisfiability:
TraditionalForm for formatting:
Applications   (1)
Use Simplify to determine whether an expression is Boolean, with no undetermined variables:
Possible Issues   (1)
0 and 1 are not used to stand for False and True:
New in 4
Ask a question about this page  |  Suggest an improvement  |  Leave a message for the team