Stefan | ᕕ(◠ڼ◠)ᕗ says to YSITD not (p xnor q) <=> not ((p and q) or not (p or q)) <=> (not p or not q) and (p or q) <=> (p implies not q) and (not q implies p) <=> p xnor not q 完整版