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.
Details and Options
Examplesopen allclose all
Basic Examples (3)
Generalizations & Extensions (1)
Properties & Relations (4)
Neat Examples (1)
Introduced in 2008