return to top
source
Determines whether a literal has exactly the form False = True or True = False
False = True
True = False
Eliminate literals that are exactly of the form False = True or True = False. This is a special case of the propFalseElim inference rule in which σ is the identity.