\begin{definition}[Definition:Exclusive Or/Truth Function]
The exclusive or connective defines the truth function $f^\oplus$ as follows:
{{begin-eqn}}
{{eqn | l=f^\oplus \left({F, F}\right)
      | r=F
}}
{{eqn | l=f^\oplus \left({F, T}\right)
      | r=T
}}
{{eqn | l=f^\oplus \left({T, F}\right)
      | r=T
}}
{{eqn | l=f^\oplus \left({T, T}\right)
      | r=F
}}
{{end-eqn}}
Category:Definitions/Exclusive Or
Category:Definitions/Truth Functions
\end{definition}