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 :