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[e_1, e_2, ...] gives True if the majority of the e_i are True, and False if the majority are False.

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[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[expr] finds a minimal-length disjunctive normal form representation of expr.BooleanMinimize[expr, form] finds a minimal-length representation for expr in the ...

SatisfiabilityCount[bf] counts the number of possible combinations of variable values that yield True when supplied as arguments to the Boolean function ...

BooleanConvert[expr] converts the Boolean expression expr to disjunctive normal form.BooleanConvert[expr, form] converts the Boolean expression expr to the specified ...

Building on its core symbolic architecture, Mathematica gives immediate access to the latest in industrial-strength Boolean computation. With highly general symbolic ...

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[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.