1 - 10 of 25 for BooleanTableSearch Results
BooleanTable   (Built-in Mathematica Symbol)
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   (Built-in Mathematica Symbol)
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   (Built-in Mathematica Symbol)
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   (Built-in Mathematica Symbol)
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 ...
Computational Systems   (Mathematica Guide)
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   (Built-in Mathematica Symbol)
BooleanFunction[k, n] represents the k\[Null]^th Boolean function in n variables. BooleanFunction[values] represents the Boolean function corresponding to the specified ...
SatisfiabilityCount   (Built-in Mathematica Symbol)
SatisfiabilityCount[bf] counts the number of possible combinations of variable values that yield True when supplied as arguments to the Boolean function bf. ...
TautologyQ   (Built-in Mathematica Symbol)
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 ...
Boolean Computation   (Mathematica Guide)
Building on its core symbolic architecture, Mathematica gives immediate access to the latest in industrial-strength Boolean computation. With highly general symbolic ...
Equivalent   (Built-in Mathematica Symbol)
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.
1|2|3