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.

Subcategories

This category has the following 6 subcategories, out of 6 total.

Pages in category "Exclusive Or"

The following 13 pages are in this category, out of 13 total.