Tableau des principales fonctions logiques
Liste des fonctions logiques réunies sous forme d'un tableau indiquant le symbole et les propriétés de chaque fonction.
Par commodité d'écriture, a pourra s'écrire /a ou ¬a.
| Fonction | Table de vérité | Symboles | Equation logique |
Propriétés | Identité remarquable |
|---|---|---|---|---|---|
| Fonction OUI |
 |
  |
X = a | ||
| Fonction NON |
 |
  |
X = a | ||
| Fonction ET |
 |
  |
X = a ⋅ b | Commutative Associative Distributive |
a ⋅ 1 = a a ⋅ 0 = 0 a ⋅ a = a a ⋅ a = 0 |
| Fonction OU |
 |
  |
X = a + b | Commutative Associative Distributive |
a + 1 = 1 a + 0 = a a + a = a a + a = 1 |
| Fonction NAND (et-non) |
 |
  |
X = a ⋅ b X = a + b |
Commutative | a ⋅ 1 = a a ⋅ 0 = 1 a ⋅ a = a a ⋅ ¬a = 1 |
| Fonction NOR (ou-non) NI |
 |
  |
X = a + b X = a . b |
Commutative | a + 1 = 0 a + 0 = a a + a = a a + ¬a = 0 |
| Fonction OU EXCLUSIF (xor) |
 |
  |
X = a ⊕ b X = a⋅b + a⋅b |
Commutative Associative |
a ⊕ 1 = a a ⊕ 0 = a a ⊕ a = 0 a ⊕ a = 1 |
| Fonction NON OU EXCLUSIF (xnor) |
 |
   |
X = a ⊙ b X = a⋅b + a.b |
Commutative | a ⊙ 1 = a a ⊙ 0 = a a ⊙ a = 1 a ⊙ a = 0 |