BooleanCountingFunction

BooleanCountingFunction[kmax, n]
represents a Boolean function of n variables that gives True if at most variables are True.

BooleanCountingFunction[{k}, n]
represents a function of n variables that gives True if exactly k variables are True.

BooleanCountingFunction[{kmin, kmax}, n]
represents a function that gives True if between and variables are True.

BooleanCountingFunction[{{k1, k2, ...}}, n]
represents a function that gives True if exactly variables are True.

BooleanCountingFunction[spec, {a1, a2, ...}]
gives the Boolean expression in variables corresponding to the Boolean counting function specified by spec.

BooleanCountingFunction[spec, {a1, a2, ...}, form]
gives the Boolean expression in the form specified by form.

DetailsDetails

New in 7
New to Mathematica? Find your learning path »
Have a question? Ask support »