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