 |
|||
| HSG |
|
Probleme:
Wie findet man zu einer gegebenen Wahrheitstabelle eine passende Formel?
Wie stellt man sicher, dass die Formel für EINE bestimmte Eingangsbelegung eine 1 liefert?
Disjunktive Normalform
- LogicTraffic mit Situation 2 starten
- rechts KDNF (kanonische disjunktive Normalform) auswählen
- Wahrheitstabelle aufstellen
- Welcher Zusammenhang besteht zwischen der Wahrheitstabelle und der KDNF-Formel?
- KDNF-Formel durch Rechnen vereinfachen
- rechts 'Einfachste'-Formel einstellen, Vergleich?
- neues Problem:
Wie findet man die einfachste Formel? Geht das vielleicht auch automatisch?
Aufgabe 1
Realisiere die gefundene Formel mit Hades. Realisiere auch die einfachste Formel. Vergleiche!
Einführung in LogicTraffic
logictraffic_einfuehrung.pdf
logictraffic_einfuehrung.ppt
Anleitung zu LogicTraffic
Aufgaben zu LogicTraffic
Software zu LogicTraffic
ausführbares Java-Archiv: infotraffic.jar
Links
- Disjunktive Normalform - wikipedia
- logictraffic - www.swisseduc.ch/informatik