ＡとＢの値からＣのtrue or falseを導き出すのが¬ＸＯＲって関数なんだろ？
Ａ→Ｂそのものの真偽はＡやＢの値からは導き出せないって言ってんだ。