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

SatisfiabilityInstances

SatisfiabilityInstances[bf]
attempts to find a choice of variables that makes the Boolean function bf yield True.
SatisfiabilityInstances
attempts to find a choice of the that makes the Boolean expression expr be True.
SatisfiabilityInstances
attempts to find m choices of variables that yield True.
Generate a single instance where the Boolean expression is true:
Generate multiple instances; in this case only two instances exist:
Find 3 instances for a pure Boolean function:
When the input is not satisfiable, an empty list is returned:
Generate a single instance where the Boolean expression is true:
In[1]:=
Click for copyable input
Out[1]=
In[2]:=
Click for copyable input
Out[2]=
Generate multiple instances; in this case only two instances exist:
In[3]:=
Click for copyable input
Out[3]=
In[4]:=
Click for copyable input
Out[4]=
 
Find 3 instances for a pure Boolean function:
In[1]:=
Click for copyable input
Out[1]=
 
When the input is not satisfiable, an empty list is returned:
In[1]:=
Click for copyable input
Out[1]=
In[2]:=
Click for copyable input
Out[2]=
Find all instances where the Boolean expression is true:
A Boolean expression with n variables can have at most instances:
Use SatisfiabilityCount to get an exact count of instances:
SatisfiabilityInstances corresponds to True entries in BooleanTable:
Use FindInstance to find solutions to equations and inequalities:
A sampling of instances:
The full list is longer:
New in 7