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

SatisfiableQ

SatisfiableQ[bf]
gives True if a combination of values of variables exists that makes the Boolean function bf yield True.
SatisfiableQ
gives True if a combination of values of the exists that makes the Boolean expression expr yield True.
Test whether Boolean expressions are satisfiable:
Test whether pure Boolean functions are satisfiable:
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]=
An expression is satisfiable if it is true for some variable assignments:
An expression of variables is satisfiable if the SatisfiabilityCount is greater than 0:
Use SatisfiabilityInstances to get explicit instances:
SatisfiableQ[f] is equivalent to ¬TautologyQf]:
New in 7