1 - 10 of 42 for BooleanCountingFunctionSearch Results
BooleanCountingFunction   (Built-in Mathematica Symbol)
BooleanCountingFunction[k_max, n] represents a Boolean function of n variables that gives True if at most k_max variables are True. BooleanCountingFunction[{k}, n] represents ...
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.
Xnor   (Built-in Mathematica Symbol)
Xnor[e_1, e_2, ...] is the logical XNOR (not XOR) function. It gives True if an even number of the e_i are True, and the rest are False. It gives False if an odd number of ...
Majority   (Built-in Mathematica Symbol)
Majority[e_1, e_2, ...] gives True if the majority of the e_i are True, and False if the majority are False.
BooleanMinimize   (Built-in Mathematica Symbol)
BooleanMinimize[expr] finds a minimal-length disjunctive normal form representation of expr. BooleanMinimize[expr, form] finds a minimal-length representation for expr in the ...
BooleanConvert   (Built-in Mathematica Symbol)
BooleanConvert[expr] converts the Boolean expression expr to disjunctive normal form. BooleanConvert[expr, form] converts the Boolean expression expr to the specified form. ...
Reliability   (Mathematica Guide)
Reliability of a component is the probability that it will function for a specified period of time. This is modeled as a lifetime distribution. A system built from ...
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. ...
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 ...
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 ...
1|2|3|4|5