BUILT-IN MATHEMATICA SYMBOL

BooleanTable

BooleanTable[bf]
gives a list of truth values for all possible combinations of variable values supplied to the Boolean function bf.

BooleanTable[expr, {a₁, a₂, ...}]
gives a list of the truth values of the Boolean expression expr for all possible combinations of values of the .

BooleanTable[expr, {a₁, a₂, ...}, {b₁, ...}, ...]
gives a nested table of truth values of expr with the outermost level giving possible combinations of the .

Details Details

The possible combinations of variable values are given in the order Tuples[{True, False}, n].
BooleanTable gives a list or array of True, False values.
Boole[BooleanTable[...]] gives , values.
In BooleanTable[expr, {a₁, a₂, ...}] etc. any of the variables in expr that are not explicitly among the etc. are left in symbolic form.
BooleanTable[expr, vars₁, ..., vars_s] is equivalent to Fold[BooleanTable, expr, {vars_s, ..., vars₁}].
BooleanTable[bf, {r₁, r₂, ...}] gives a list of truth values corresponding to possible values of the , , ... variables for the Boolean function bf.
BooleanTable[bf, {r₁, ...}, {s₁, ...}, ...] gives a nested table of truth values with the outermost level giving combinations of the variables.