En considérant que les états interne de l'automate sont écrits sous la forme Q₂Q₁Q₀ (cf. tab. 1 de l'article Machine de Moore), les variables de sorties vérifient les tableaux de Karnaugh et les équations suivants. Une variable barrée signifie une inversion de sa valeur logique.

Tab. 1 : variable basse tension (B)

B = (Q₁+Q₀)Q₂+Q₂Q₁

Tab. 2 : variable haute tension (H)

H = Q₂Q₁Q₀+Q₂Q₀

Tab. 3 : reset compteur (R)

R = Q₁Q₀+Q₂Q₁

Tab. 4 : défaut (E)

E=Q₂Q₁Q₀

Compte tenu des équations précédentes, la logique reliant les sorties Q_i des trois bascules aux quatre sorties de l'automate est la suivante :

Fig. 1 : logique de sortie (la même chose en plus grand)

À noter : les trois inverseurs présents sur le schéma ne sont pas nécessaires car la plupart des bascules possèdent une sortie inverseuse et une sortie non inverseuse. Je n'ai pas présenté non plus les verrous de sortie permettant de s'affranchir des états transitoires.