(~B => ~A) & (~A => ~B)