SatisfiabilityInstances

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

SatisfiabilityInstances[expr,{a1,a2,…}] attempts to find a choice of the ai that makes the Boolean expression expr be True.

SatisfiabilityInstances[…,…,m] attempts to find m choices of variables that yield True.

Examples

Find a satisfying assignment for a Boolean expression:

SatisfiabilityInstances[a && (b || !c), {a, b, c}]
(* {{True, True, True}} *)

Please visit the official Wolfram Language Reference for more details.