This is documentation for Mathematica 8, which was
based on an earlier version of the Wolfram Language.

# SatisfiabilityInstances

 SatisfiabilityInstances[bf] attempts to find a choice of variables that makes the Boolean function bf yield True. SatisfiabilityInstancesattempts to find a choice of the that makes the Boolean expression expr be True. SatisfiabilityInstancesattempts 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:
 Out[1]=
 Out[2]=
Generate multiple instances; in this case only two instances exist:
 Out[3]=
 Out[4]=

Find 3 instances for a pure Boolean function:
 Out[1]=

When the input is not satisfiable, an empty list is returned:
 Out[1]=
 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