(!A) <-> (!B)