TautologyQ

TautologyQ(boolean-expr, list-of-variables)

test whether the boolean-expr is satisfiable by all combinations of boolean False and True values for the list-of-variables.

See

• Wikipedia - Tautology (logic)

Examples

>> TautologyQ(a || !a)
True

Implementation status

• ✅ - full supported

Github

• Implementation of TautologyQ