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

TautologyQ

TautologyQ[bf]
gives True if all combinations of values of variables make the Boolean function bf yield True.
TautologyQ
gives True if all combinations of values of the make the Boolean expression expr yield True.
Test whether Boolean expressions are always true:
Test whether pure Boolean functions are always true:
Test whether Boolean expressions are always true:
In[1]:=
Click for copyable input
Out[1]=
In[2]:=
Click for copyable input
Out[2]=
 
Test whether pure Boolean functions are always true:
In[1]:=
Click for copyable input
Out[1]=
In[2]:=
Click for copyable input
Out[2]=
Use TautologyQ to prove equivalence for different representations:
Convert a Boolean function using a "care set" or condition:
The resulting forms are equivalent when is true:
They are not equivalent without the condition:
Prove proof rules, like modus ponens :
Modus tollens :
Modus tollendo ponens :
Modus ponendo tollens :
Reductio ad absurdum :
A Boolean function is increasing in iff . Implement a test for a Boolean function to be increasing and explore what Boolean functions are increasing:
These functions are all increasing in all their variables:
These functions are all decreasing in :
And increasing in :
Find all increasing bivariate functions:
Find all increasing trivariate functions:
An expression is a tautology if it is true for all variable assignments:
TautologyQ[f] is equivalent to ¬SatisfiableQf]:
An expression of variables is a tautology if the SatisfiabilityCount is :
Use TrueQ to test whether an expression is explicitly identical to True:
New in 7