disjonction exclusive

disjonction exclusive

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.