Stefan | ᕕ(◠ڼ◠)ᕗ says to YSITD
not (p xnor q) <-> p xor q