TautologyQ

TautologyQ[bf]
gives True if all combinations of values of variables make the Boolean function bf yield True.

TautologyQ[expr,{a1,a2,}]
gives True if all combinations of values of the make the Boolean expression expr yield True.

ExamplesExamplesopen allclose all

Basic Examples  (2)Basic Examples  (2)

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]=
Introduced in 2008
(7.0)