Wolfram Mathematica Documentation Center
DOCUMENTATION CENTER SEARCH
New to Mathematica? Find your learning path »
Mathematica > Mathematics and Algorithms > Discrete Mathematics > Boolean Computation > True >
Mathematica > Mathematics and Algorithms > Logic & Boolean Algebra > Boolean Computation > True >
Mathematica > Mathematics and Algorithms > Graphs & Networks > Graph Programming > Boolean Computation > True >
BUILT-IN MATHEMATICA SYMBOLTutorials »|See Also »|More About »

True

True
is the symbol for the Boolean value true.
EXAMPLESCLOSE ALL
Basic Examples   (4)
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]=
Properties & Relations   (6)
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
Ask a question about this page  |  Suggest an improvement  |  Leave a message for the team
Format:   HTML  |  CDF