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
table de vérité oui fonction oui
buffer
X = a    
Fonction
NON
table de vérité non fonction non
 
fonction NO
X = a    
Fonction
ET
table et fonction et
 
fonction and
X = a ⋅ b Commutative
Associative
Distributive
a ⋅ 1 = a
a ⋅ 0 = 0
a ⋅ a = a
a ⋅ a = 0
Fonction
OU
table ou fonction ou
 
fonction or
X = a + b Commutative
Associative
Distributive
a + 1 = 1
a + 0 = a
a + a = a
a + a = 1
Fonction
NAND
(et-non)
table nand fonction et non
 
fonction nand
X = a ⋅ b
X = a + b
Commutative a ⋅ 1 = a
a ⋅ 0 = 1
a ⋅ a = a
a ⋅ ¬a = 1
Fonction
NOR
(ou-non)
NI
table nor fonction ou non
 
fonction nor
X = a + b
X = a . b
Commutative a + 1 = 0
a + 0 = a
a + a = a
a + ¬a = 0
Fonction
OU
EXCLUSIF
(xor)
table xor fonction ou exclusif
 
fonction 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)
table xnor fonction ni exclusif
fonction xor
fonction comparaison
X = a ⊙ b
X = a⋅b + a.b
Commutative a ⊙ 1 = a
a ⊙ 0 = a
a ⊙ a = 1
a ⊙ a = 0

Retourner au début de l'article


Haut de page