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 Options

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

Examples

open allclose all

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]=

Applications  (4)

Properties & Relations  (4)

See Also

SatisfiableQ  ForAll  BooleanTable  BooleanMinimize

Introduced in 2008
(7.0)