Category:Exclusive Or

This category contains results about the exclusive or of propositional logic.
Definitions specific to this category can be found in Definitions/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.