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

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

Majority[e_1, e_2, ...] gives True if the majority of the e_i are True, and False if the majority are False.

BooleanMinimize[expr] finds a minimal-length disjunctive normal form representation of expr. BooleanMinimize[expr, form] finds a minimal-length representation for expr in the ...

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

Reliability of a component is the probability that it will function for a specified period of time. This is modeled as a lifetime distribution. A system built from ...

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

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

BooleanVariables[expr] gives a list of the Boolean variables in the Boolean expression expr. BooleanVariables[bf] gives the number of Boolean variables in the BooleanFunction ...