6. Erste Schritte mit LogicTraffic
Sie werden in der Folge diverse logische Problemstellungen anhand der Anwendung LogicTraffic selbständig lösen. Zu Beginn werden wir das an einer einfachen Situation durchspielen, damit Sie das Programm und sein Verhalten erlernen können. Danach (in den folgende Kapiteln) werden die Problemstellungen etwas schwieriger.
Sie haben im 2. Kapitel bereits einen ersten Blick auf die Anwendung und deren Bereiche geworfen. Nun werden wir erste Eingaben tätigen. Starten Sie dazu das Programm in Ihrem Browser.
Achten Sie darauf, dass die Auswahl der Kreuzungssituationen auf Situation 1 steht.
Aus der gezeigten Situation geht hervor, dass
- bei rot für A und rot für B die Situation sicher ist, da beide Spuren stehen. \(\rightarrow \) 1
- bei rot für A und grün für B die Situation sicher ist, da nur die Spur B fährt. \(\rightarrow \) 1
- bei grün für A und rot für B die Situation sicher ist, da nur die Spur A fährt. \(\rightarrow \) 1
- bei grün für A und grün für B die Situation unsicher ist, da beide Spuren fahren und so eine Kollision resultiert. \(\rightarrow \) 0
Diese Lösung übertragen wir nun in die Wahrheitstabelle der Anwendung und starten die Simulation über die Schaltfläche [Testen].
Um zu sehen, was passiert, wenn eine unsichere Situation vorliegt, ändern wir den letzten Eintrag auf 1 ab und führen die Simulation noch einmal durch.
Nun löschen wir die Einträge der WHT und geben die Formel über den Formeleditor ein. Dazu setzen wir die Tabelle wie in Kaptiel 5 gezeigt in einen logischen Ausdruck um.
| IN | ¦ | OUT | ||
| A | B | ¦ | C | |
|---|---|---|---|---|
| 0 | 0 | ¦ | 1 | \(\neg\)A \(\wedge\) \(\neg\)B |
| 0 | 1 | ¦ | 1 | \(\neg\)A \(\wedge\) B |
| 1 | 0 | ¦ | 1 | A \(\wedge\) \(\neg\)B |
| 1 | 1 | ¦ | 0 | |
out = (\(\neg\)A \(\wedge\) \(\neg\)B) \(\vee\) (\(\neg\)A \(\wedge\) B) \(\vee\) (A \(\wedge\) \(\neg\)B)
Diesen Ausdruck (ohne out= !) geben wir also im Editor ein und laden damit die Wahrheitstabelle.
Das Ergebnis ist das gleiche wie oben.
Die restlichen Bereiche der Anwendung (Parsebaum, DNFv) betrachten wir (noch) nicht!
Lösen Sie nun die Übung 6
Überprüfen Sie Ihre Antworten. Lösung 6
Sollten Sie Fehler haben, schauen Sie sich die Theorie noch einmal genau an, besprechen Sie offene Fragen mit Ihren Kolleginnen und/oder Kollegen. Fragen Sie auch Ihre Lehrperson, wenn Sie weiterführende Hilfe brauchen.
© René Probst