(~A <=> ~B) <=> (A <=> B)