>>170
¬XORってのは
(((A∧B)∨(¬A∧¬B))→C)∧((A∧¬B)∨(¬A∧B))→¬C
ってことだろ。
A→Bとはそもそも比較できない