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

True

True
is the symbol for the Boolean value true.
Evaluate a Boolean expression:
Use a conditional:
Test a structural property:
Test a mathematical property:
Evaluate a Boolean expression:
In[1]:=
Click for copyable input
Out[1]=
 
Use a conditional:
In[1]:=
Click for copyable input
Out[1]=
 
Test a structural property:
In[1]:=
Click for copyable input
Out[1]=
 
Test a mathematical property:
In[1]:=
Click for copyable input
Out[1]=
The symbol for the Boolean value false:
Truth table for a Boolean function:
The Boole function:
This equality is not resolved automatically:
Use FullSimplify to find its truth value:
A fully quantified expression:
Use Resolve to find its truth value:
Use Refine to find truth values of expressions under specified assumptions:
New in 1