BUILT-IN MATHEMATICA SYMBOL

SatisfiabilityInstances

SatisfiabilityInstances[bf]
attempts to find a choice of variables that makes the Boolean function bf yield True.

attempts to find a choice of the

that makes the Boolean expression expr be True.

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:

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:

Use FindInstance to find solutions to equations and inequalities:

A sampling of instances:

The full list is longer: