In der Booleschen Gleichung werden die Aussagen über die Ausgänge dargestellt. Und so entsteht eine Wahrheitstabelle für die Logik. Aus diesem kann der Steuerungsalgorithmus abgeleitet werden. Der Steuerungsalgorithmus bildet die Eingabe (E1, E2, E3) auf die Ausgabe (A1, A2) ab.
In dieser formalen Spezifikation wird eine wie zuvor beschreiben eine Verknüpfungsteuerung dargestellt. Die Ausgänge sind direkt von den Eingängen abhängig und keine dynamischen Elemente sind enthalten.