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 ...

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 ...

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 ...

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 ...

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

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

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 ...

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

Equivalent[e_1, e_2, ...] represents the logical equivalence e_1 \[DoubleLeftRightArrow] e_2 \[DoubleLeftRightArrow] ..., giving True when all of the e_i are the same.