BooleanCountingFunction

BooleanCountingFunction[kmax,n] represents a Boolean function of n variables that gives True if at most kmax 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 kmin and kmax variables are True.

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

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

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

Please visit the official Wolfram Language Reference for more details and examples on core symbols.