Category:Definitions/Exclusive Or

From ProofWiki
Jump to navigation Jump to search

This category contains definitions related to Exclusive Or.
Related results can be found in Category:Exclusive Or.


Exclusive Or is a binary connective which can be written symbolically as $p \oplus q$ whose behaviour is as follows:

$p \oplus q$

means:

Either $p$ is true or $q$ is true but not both.


or symbolically:

$p \oplus q := \paren {p \lor q} \land \neg \paren {p \land q}$

where $\land$ denotes the and operator and $\lor$ denotes the or operator.