SatisfiableQ

SatisfiableQ[bf]
gives True if a combination of values of variables exists that makes the Boolean function bf yield True.

SatisfiableQ[expr, {a₁, a₂, ...}]
gives True if a combination of values of the exists that makes the Boolean expression expr yield True.