Une équation logique caractérise la sortie d’une porte logique ou une sortie d’un circuit numérique constitué d’une association de plusieurs portes logiques.
En effet, l’état de la sortie
S d’une porte logique est fonction de l’état de ses entrées
E0 et E1.
On écrit alors : S = f (E0 ,
E1).
Prenons l’exemple d’une Porte ET :
L’opérateur logique " ET " a pour symbole :
" . "
L’équation logique caractérisant la sortie de la porte
est alors : S = E0 . E1
(S égale E0 et E1)
A chaque opérateur logique correspond un symbole :
 |
 |
 |
 |