Definition:Exclusive Or/Truth Function

From ProofWiki
Jump to navigation Jump to search

Definition

The exclusive or connective defines the truth function $f^\oplus$ as follows:

\(\ds f^\oplus \left({F, F}\right)\) \(=\) \(\ds F\)
\(\ds f^\oplus \left({F, T}\right)\) \(=\) \(\ds T\)
\(\ds f^\oplus \left({T, F}\right)\) \(=\) \(\ds T\)
\(\ds f^\oplus \left({T, T}\right)\) \(=\) \(\ds F\)