Boolesche Gleichung

<< Click to Display Table of Contents >>

Navigation:  Willkommen bei Selmo > Methode > Das Steuerungsbeispiel > Formale Spezifikationen >

Boolesche Gleichung

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.

 

 

boolsche DE

 

 

In dieser formalen Spezifikation wird eine wie in Kapitel 4 beschreiben eine Verknüpfungsteuerung dargestellt. Die Ausgänge sind direkt von den Eingängen abhängig und keine dynamischen Elemente sind enthalten.