@[reducible, inline]
CNF literals identified by some type α
. The Bool
is the polarity of the literal.
true
means positive polarity.
Equations
Instances For
@[inline]
Flip the polarity of l
.
CNF literals identified by some type α
. The Bool
is the polarity of the literal.
true
means positive polarity.
Flip the polarity of l
.