Stefan | ᕕ(◠ڼ◠)ᕗ says to YSITD 另外xor proof: not (p xnor q) <=> not ((p and q) or not (p or q)) <=> (not p or not q) and (p or q) <=> not (p and q) and (p or q) <=> p xor q