Truth table for a boolean expression over all variable combinations.
BooleanTable[bf]
BooleanTable[expr, {a1, a2, …}]
BooleanTable[expr, {a1, a2, …}, {b1, …}, …]
BooleanTable[Not[p], {p}]
→ {False, True}BooleanTable[Implies[p, q]]
→ {True, False, True, True}BooleanTable[p || q, {p}, {q}]
→ {{True, True}, {True, False}}