BooleanTable[bf] gives a list of truth values for all possible combinations of variable values supplied to the Boolean function bf.BooleanTable[expr, {a_1, a_2, ...}] gives a ...

BooleanVariables[expr] gives a list of the Boolean variables in the Boolean expression expr.BooleanVariables[bf] gives the number of Boolean variables in the BooleanFunction ...

SatisfiableQ[bf] gives True if a combination of values of variables exists that makes the Boolean function bf yield True.SatisfiableQ[expr, {a_1, a_2, ...}] gives True if a ...

Mathematica is the tool that has made possible Stephen Wolfram's exploration of the computational universe, and the emerging field of Wolfram Science (NKS). Whether for ...

SatisfiabilityInstances[bf] attempts to find a choice of variables that makes the Boolean function bf yield True.SatisfiabilityInstances[expr, {a_1, a_2, ...}] attempts to ...

BooleanFunction[k, n] represents the k\[Null]^th Boolean function in n variables.BooleanFunction[values] represents the Boolean function corresponding to the specified vector ...

SatisfiabilityCount[bf] counts the number of possible combinations of variable values that yield True when supplied as arguments to the Boolean function ...

Building on its core symbolic architecture, Mathematica gives immediate access to the latest in industrial-strength Boolean computation. With highly general symbolic ...

TautologyQ[bf] gives True if all combinations of values of variables make the Boolean function bf yield True.TautologyQ[expr, {a_1, a_2, ...}] gives True if all combinations ...

Mathematica 7 represents another major achievement in Mathematica's long history of innovation in mathematics and algorithms. Building on the broad capabilities of ...