Skip to content

TautologyQ

Tests whether a boolean expression is a tautology.

$ wo 'TautologyQ[True]'
True

A second argument restricts the test to an explicit set of variables.

$ wo 'TautologyQ[(a || b) && (!a || !b), {a, b}]'
False