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 ai make the Boolean expression expr yield True.

Details and OptionsDetails and Options

  • TautologyQ is also known as tautology checking and validity checking.

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)
Translate this page: