Principe

Méthode de représentation graphique basée sur l'identité $AX + A\overline{X} = A$ (le prouver). On se sert de ça pour supprimer des termes dont on n'a pas besoin.

Représentation graphique : les termes adjacents sont adjacents graphiquement. Termes adjacents: $x\overline{y}zt$ et $x\overline{y}z\overline{t}$ sont adjacents car l'état d'une seule variable binaire est différent (ici c'est $t$). Notons que $x\overline{y}z\overline{t}+x\overline{y}zt = x\overline{y}z$ car $x\overline{y}z\overline{t}+x\overline{y}zt = x\overline{y}z(t+\overline{t})$. C'est ce qu'on appelle le gray order. Principe du tore et de la 4 connexité (exemple avec deux variables).

Faire un exemple avec un ordre non gris pour montrer le principe.