La disjonction exclusive des propositions P et Q est la proposition qui correspond à (P ∨ Q) ∧ ¬(P ∧ Q), c’est-à-dire qui est vraie lorsque l’une ou l’autre des propositions P et Q est vraie, mais pas les deux à la fois.
Symbole
La disjonction exclusive des propositions P et Q est notée « P ∨ Q » et se lit « P ou Q et non P et Q ».
Propriété
La table de vérité de la disjonction exclusive est la suivante :
| P | Q | P ∨ Q |
| 1 | 1 | 0 |
| 1 | 0 | 1 |
| 0 | 1 | 1 |
| 0 | 0 | 0 |
dans laquelle 1 = vrai et 0 = faux.