Les règles algébriques fondamentales permettant de simplifier les équations logiques sont les suivantes :

La méthode graphique la plus connue permettant de simplifier les équations logiques est celle des tableaux de Karnaugh (ci-contre). C'est l'équivalent graphique de la méthode algébrique de Quine-McCluskey (QMC).

Elle utilise le code binaire réfléchi afin de mettre en évidence des adjacences qui correspondent à des mises en facteur algébriques du type :

Les regroupements de cases adjacentes se font nécessairement par puissance de 2.

Voir l'ouvrage de Pierre Naslin, "Circuits logiques et automatismes à séquences" chez Dunod (épuisé mais disponible sur www.livre-rare-book.com), ainsi que le 'Manuel des GAL' de Hack et Hoffmann chez Publitronic.