Represents the Boolean function of `n` variables that is True when the number
BooleanCountingFunction[kmax, n]
BooleanCountingFunction[{k}, n]
BooleanCountingFunction[{kmin, kmax}, n]
BooleanCountingFunction[{{k1, k2, …}}, n]
BooleanCountingFunction[spec, {a1, a2, …}]
BooleanCountingFunction[spec, {a1, a2, …}, form]
BooleanCountingFunction[2, 4][True, True, False, False]
→ TrueBooleanCountingFunction[{2}, 3][True, False, False]
→ FalseBooleanCountingFunction[{{1, 3}}, 3][True, True, True]
→ TrueBooleanCountingFunction[{4}, 3][True, True, True]
→ FalseBooleanCountingFunction[{{2}}, {a, b, c}]
→ (a && b && !c) || (a && !b && c) || ( !a && b && c)BooleanCountingFunction[2, {a, b, c}, "CNF"]
→ !a || !b || !cBooleanCountingFunction[{-1}, 2]
→
BooleanCountingFunction::bspec: BooleanCountingFunction[{-1}, 2] is not a valid BooleanCountingFunction specification.
BooleanCountingFunction[{-1}, 2]