Category:Exclusive Or

From ProofWiki
Jump to navigation Jump to search

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$


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.