A=B ⋀ A ≠ B could be possible only at AMBIVALENCE. Except its case, any other normal case must be ¬(A=B ⋀ A ≠ B) Nevertheless, we usuall...
https://lovelyhelen.muragon.com/entry/4976.html