Notations algébriques⚓︎
Les trois fonctions logiques ET, OU et NON peuvent être vues comme des opérateurs de calculs.
Ainsi :
- a ET b se note aussi a . b
- a OU b se note aussi a + b
- NON a se note aussi a.
Attention
Le symbole de multiplication . s'accorde parfaitement avec la table de vérité de ET.
Par contre, ce n'est pas le cas de +, en effet, 1 + 1 donne ici 1 (et non 0 avec une retenue comme dans l'addition binaire).
Les différentes représentations des trois fonctions de base
| logique | informatique | algèbre | |
|---|---|---|---|
| 0 | ⊥ | False | 0 |
| 1 | T | True | 1 |
| a ET b | a∧b | a&b | a.b |
| a OU b | a ∨ b | a|b | a+b |
| NON a | ¬a | !a | a |