(A<->B)V(A<->C)V(B<->C)