Les tables de vérité sont des tableaux qui indiquent le résultat produit par une porte logique pour toutes les combinaisons possibles de ses entrées. Elles constituent un outil indispensable en électronique numérique, car elles permettent de comprendre, de concevoir et de vérifier le fonctionnement des circuits logiques.

Comme une entrée logique ne peut prendre que deux valeurs, 0 ou 1, il est possible de tester toutes les combinaisons. Pour une porte possédant une seule entrée, il n'existe que deux cas possibles. Avec deux entrées, il existe quatre combinaisons :

00    01    10    11

Une table de vérité rassemble ces différentes combinaisons et indique la valeur obtenue en sortie. Chaque ligne représente un cas possible.

Par exemple, la table de vérité d'une porte ET (AND) est :

A	B	Sortie
0	0	0
0	1	0
1	0	0
1	1	1

On constate que la sortie vaut 1 uniquement lorsque les deux entrées valent 1.

La table de vérité d'une porte OU (OR) est différente :

A	B	Sortie
0	0	0
0	1	1
1	0	1
1	1	1

Ici, une seule entrée à 1 suffit pour obtenir un 1 en sortie.

La porte OU exclusif (XOR) donne quant à elle un résultat égal à 1 lorsque les deux entrées sont différentes :

A	B	Sortie
0	0	0
0	1	1
1	0	1
1	1	0

Les ingénieurs utilisent les tables de vérité pour vérifier qu'un circuit réalise bien la fonction attendue. Elles permettent aussi de simplifier les circuits et de détecter rapidement une erreur de conception avant même de fabriquer le composant électronique.

Exemple : imaginons une alarme qui doit se déclencher uniquement lorsque deux détecteurs sont activés en même temps. Une simple table de vérité permet de vérifier immédiatement que le circuit devra utiliser une porte ET.

Les tables de vérité sont utilisées dans tous les domaines de l'électronique numérique : microprocesseurs, mémoires, robots, calculateurs, objets connectés ou systèmes industriels. Elles constituent le langage de base permettant de décrire le comportement logique d'un circuit.