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.

NeuesElement234

NeuesElement233

 

E1

E2

E3

A1

A2

0

0

0

0

0

0

0

1

0

0

0

1

0

0

0

0

1

1

0

1

1

0

0

0

0

1

0

1

1

0

1

1

0

0

0

1

1

1

0

0

 

Tabelle 7‑2 Wahrheitstabelle des Steuerungsalgorithmus

 

NeuesElement263

 

 

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.