1 - 10 of 28 for BooleanCountingFunctionSearch Results
View search results from all Wolfram sites (46 matches)
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 ...
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.
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 ...
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 ...
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 ...
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 ...
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 ...
Nand   (Built-in Mathematica Symbol)
Nand[e_1, e_2, ...] is the logical NAND function. It evaluates its arguments in order, giving True immediately if any of them are False, and False if they are all True.
Nor   (Built-in Mathematica Symbol)
Nor[e_1, e_2, ...] is the logical NOR function. It evaluates its arguments in order, giving False immediately if any of them are True, and True if they are all False.
1|2|3