Syntactic tautology deletion 3 doesn't refer to a specific rule in the literature, but is a response to the observation that duper often gets cluttered with clauses of the form "x = True ∨ x = False". Neither syntacticTautologyDeletion1 nor syntacticTautologyDeletion2 remove clauses of this form, so that is what syntacticTautologyDeletion3 targets.
Equations
- One or more equations did not get rendered due to their size.