SatisfiableQ

SatisfiableQ[bf]
gives True if a combination of values of variables exists that makes the Boolean function bf yield True.

SatisfiableQ[expr,{a1,a2,}]
gives True if a combination of values of the exists that makes the Boolean expression expr yield True.

ExamplesExamplesopen allclose all

Basic Examples  (2)Basic Examples  (2)

Test whether Boolean expressions are satisfiable:

In[1]:=
Click for copyable input
Out[1]=
In[2]:=
Click for copyable input
Out[2]=

Test whether pure Boolean functions are satisfiable:

In[1]:=
Click for copyable input
Out[1]=
In[2]:=
Click for copyable input
Out[2]=
Introduced in 2008
(7.0)