Mathematica 9 is now available
THIS IS DOCUMENTATION FOR AN OBSOLETE PRODUCT.
SEE THE DOCUMENTATION CENTER FOR THE LATEST INFORMATION.
Wolfram Mathematica Documentation Center
DOCUMENTATION CENTER SEARCH
New to Mathematica? Find your learning path »
Mathematica > Mathematics and Algorithms > Formula Manipulation > Assumptions and Domains > Booleans >
BUILT-IN MATHEMATICA SYMBOLTutorials »|See Also »|More About »

Booleans

Booleans
represents the domain of Booleans, as in .
MORE INFORMATION
  • The domain of Booleans is taken to consist of the symbols True and False.
  • evaluates immediately if x is explicitly True or False.
  • Simplify can be used to try to determine whether an expression is Boolean, with no undetermined variables.
EXAMPLESCLOSE ALL
Basic Examples   (2)
Constants and variables:
Constants and variables:
In[1]:=
Click for copyable input
Out[1]=
In[2]:=
Click for copyable input
Out[2]=
 
In[1]:=
Click for copyable input
Out[1]=
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)
and 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
Format:   HTML  |  CDF