>>88
>A∧¬AとB∧¬Bは同等でない

こういうことはあり得るのかというのは
オレも気になってた