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

Introduced in 2008
(7.0)