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

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

MORE INFORMATION

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 1, 0 values.

In BooleanTable[expr, {a₁, a₂, ...}], etc. any of the variables in expr that are not explicitly among the a_i, 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 r₁, r₂, ... variables for the Boolean function bf.