Theorem
xnor
Two ways to write XNOR (exclusive not-or). (Contributed by Mario Carneiro, 4-Sep-2016.)
Conclusion
\( \vdash \varphi \leftrightarrow \psi \leftrightarrow \neg (\varphi \veebar \psi) \)
Proof
df-xor
con2bii
_
This is the content in the right pane.