Le schéma ci-dessus montre plusieurs combinaisons possibles. Ne
retenons, par exemple, que pour avoir du feu nous devons posséder un
briquet OU des allumettes.
Construisons à partir de cet exemple la table de vérité OU :
| OU | ||
| Allumette | Briquet | FEU |
| FAUX | FAUX | FAUX |
| FAUX | VRAI | VRAI |
| VRAI | FAUX | VRAI |
| VRAI | VRAI | VRAI |
Petite remarque de Francis Drapier, mathématicien et excellent pédagogue : en latin il existe deux «ou» : l’exclusif (out) et le non exclusif (vel). En français «ou» est utilisé de manière non exclusive. Pour obtenir le «ou» exclusif, on utilise l’expression «Soit ... OU soit...». Je crois que c’est important de le signaler car peu de gens le savent...
Ce qu'il veut dire par là, c'est qu'il ne faut pas confondre les différents sens que peuvent prendre la conjonction «ou». Voyez ici la définition du TLFi.
Toujours est-il que le OU Exclusif existe bien en logique booléenne et est même beaucoup employé. Vous trouverez un article à ce sujet dans Wikipédia