BooleanCountingFunction (Built-in Mathematica Symbol)

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

BooleanFunction (Built-in Mathematica Symbol)

BooleanFunction[k, n] represents the k\[Null]^th Boolean function in n variables.BooleanFunction[values] represents the Boolean function corresponding to the specified vector ...

BooleanGraph (Built-in Mathematica Symbol)

BooleanGraph[bfunc, g_1, ..., g_n] gives the Boolean graph defined by the Boolean function bfunc on the graphs g_1, ..., g_n.

BooleanMaxterms (Built-in Mathematica Symbol)

BooleanMaxterms[k, n] represents the k\[Null]^th maxterm in n variables.BooleanMaxterms[{k_1, k_2, ...}, n] represents the conjunction of the maxterms ...

BooleanMinimize (Built-in Mathematica Symbol)

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

BooleanMinterms (Built-in Mathematica Symbol)

BooleanMinterms[k, n] represents the k\[Null]\[Null]^th minterm in n variables.BooleanMinterms[{k_1, k_2, ...}, n] represents the disjunction of the minterms ...

Booleans (Built-in Mathematica Symbol)

Booleans represents the domain of Booleans, as in x \[Element] Booleans.

BooleanTable (Built-in Mathematica Symbol)

BooleanTable[bf] gives a list of truth values for all possible combinations of variable values supplied to the Boolean function bf.BooleanTable[expr, {a_1, a_2, ...}] gives a ...

BooleanVariables (Built-in Mathematica Symbol)

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

Boole (Built-in Mathematica Symbol)

Boole[expr] yields 1 if expr is True and 0 if it is False.