Mathematica 9 is now available
SEARCH MATHEMATICA 8 DOCUMENTATION
THIS IS DOCUMENTATION FOR AN OBSOLETE PRODUCT.
SEE THE DOCUMENTATION CENTER FOR THE LATEST INFORMATION.
Mathematica > Mathematics and Algorithms > Discrete Mathematics > Boolean Computation >
Mathematica > Mathematics and Algorithms > Logic & Boolean Algebra > Boolean Computation >
Built-in Mathematica SymbolSee Also »|More About »

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 ai exists that makes the Boolean expression expr yield True.
EXAMPLESCLOSE ALL
Basic Examples   (2)
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]=
Properties & Relations   (4)
An expression is satisfiable if it is true for some variable assignments:
An expression of n variables is satisfiable if the SatisfiabilityCount is greater than 0:
Use SatisfiabilityInstances to get explicit instances:
SatisfiableQ[f] is equivalent to ¬TautologyQ[¬f]:
New in 7
Ask a question about this page  |  Suggest an improvement  |  Leave a message for the team