Une porte logique se caractérise par sa table de vérité. Celle-ci donne l’état de la sortie de la porte en fonction de l’état de ses entrées.
Exemple : Table de vérité d’une porte inverseuse (porte NON)
 |
On peut aussi exprimer l’état de la sortie de la porte par une équation logique. Par exemple, pour une porte NON :
 |
 |
 |
 |
 |