Category:Examples of Exclusive Or

From ProofWiki
Jump to navigation Jump to search

This category contains examples of 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.

Pages in category "Examples of Exclusive Or"

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