11 - 20 of 28 for BooleanCountingFunctionSearch Results
View search results from all Wolfram sites (46 matches)
Xor   (Built-in Mathematica Symbol)
Xor[e_1, e_2, ...] is the logical XOR (exclusive OR) function. It gives True if an odd number of the e_i are True, and the rest are False. It gives False if an even number of ...
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 ...
Mathematica 7 represents another major achievement in Mathematica's long history of innovation in mathematics and algorithms. Building on the broad capabilities of ...
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 ...
And   (Built-in Mathematica Symbol)
e_1 && e_2 && ... is the logical AND function. It evaluates its arguments in order, giving False immediately if any of them are False, and True if they are all True.
Or   (Built-in Mathematica Symbol)
e_1 || e_2 || ... is the logical OR function. It evaluates its arguments in order, giving True immediately if any of them are True, and False if they are all False.
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 a ...
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 ...
New in 7.0: Alphabetical Listing   (Mathematica Guide)
The release of Mathematica 6 in May 2007 represented a revolution in the development of Mathematica. Building on this revolution, Mathematica 7 not only greatly broadens and ...
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 vector ...
1|2|3 Previous Next

...