Determines whether a literal has exactly the form false = true
or true = false
Equations
- One or more equations did not get rendered due to their size.
Instances For
Eliminate literals that are exactly of the form false = true
or true = false
.
This is a special case of the boolFalseElim inference rule in which σ is the identity.
This rule is included as a means of giving Bools special attention.
Equations
- One or more equations did not get rendered due to their size.