attempts to find a choice of variables that makes the Boolean function bf yield True.
attempts to find a choice of the ai that makes the Boolean expression expr be True.
Examplesopen allclose all
Basic Examples (3)
Properties & Relations (4)
Introduced in 2008