This is documentation for Mathematica 8, 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 .
  • 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.
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]=
Domain for FindInstance:
Domain for Resolve, in this case solving satisfiability:
TraditionalForm for formatting:
Use Simplify to determine whether an expression is Boolean, with no undetermined variables:
and are not used to stand for False and True:
New in 4