La disjonction de deux propositions P et Q est la proposition qui est vraie si l’une au moins des deux propositions P et Q est vraie, et fausse si les deux propositions sont fausses.
Symbole
La disjonction des propositions P et Q est notée « P ∨ Q » et se lit « P ou Q ».
Propriété
La table de vérité de la disjonction logique est la suivante :
| P | Q | P ∨ Q |
| 1 | 1 | 1 |
| 1 | 0 | 1 |
| 0 | 1 | 1 |
| 0 | 0 | 0 |
dans laquelle 1 = vrai et 0 = faux.
La conjonction logique et la disjonction logique sont liées par les Lois de De Morgan.
¬(P∧Q) ⇔ ¬P∨¬Q
¬(P∨Q) ⇔ ¬P∧¬Q