Question

How can the following two statements be logically equivalent?
\[\forall x,y, (C(x)\wedge C(y)\wedge B(x,y))\implies \neg(MC(x) = MC(y))\]and\[\forall x,y, \neg C(x) \lor \neg C(y) \lor \neg B(x,y) \lor \neg (MC(x) = MC(y))\]

Answer 1

I get it now, the second one is more considering all cases.

Answer 2

either x is not a country, or y is not a country, or those are 2 countries but they don't border each other, or they are 2 countries bordering each other but they do not have the same map color.

Answer 3

should have read that second one more closely >.<