Définition

La 'disjonction' logique  de deux propositions P et Q, souvent notée P∨Q, et qui se lit 'P OU Q', est également définie par sa table de vérité:

P Q P∨Q
V V V
V F V
F V V
F F F

P ∨ Q est vraie quand l'une au moins des propositions P et Q est vraie.
En cela le OU logique diffère du OU commun qui est souvent disjonctif (''dessert' OU 'fromage' ...).
Le OU exclusif est réalisable par combinaison d'opérateurs  (P∨Q)∧(¬ (P∧Q))
Nous avons déjà rencontré le signe  ∨ ( Réunion de deux ensembles)

Café Python

L'opérateur logique en Python correspondant à la disjonction se note (fort logiquement pour un anglophone) 'or' .