NOT(p iff q), (NOT p) iff q