Aufgabe
Anna, Bert, Cordula, Dirk und Erik verabreden sich fürs Kino. Dabei treten allerdings folgende
Bedingungen auf:
- Geht Anna ins Kino, so müssen auch Cordula und Erik gehen.
- Wenn Anna nicht ins Kino geht, so geht Erik.
- Bert und Erik wollen zusammen ins Kino oder keiner von beiden.
- Wenn Cordula ins Kino geht, dann auch Dirk.
- Bert geht genau dann, wenn Dirk nicht geht und umgekehrt.
Formale Übersetzung der Bedingungen
Abkürzungen: A = Anna geht ins Kino; B = Bert geht ins Kino; ...
- (A => CE) = (/A + CE)
- (/A => E) = (A + E)
- BE + /B/E
- (C => D) = (/C + D)
- (B /D) = (B/D + /BD)
Umsetzung in Hades
Mit Hilfe eines 5-Bit-Zählers werden alle Möglichkeiten für A,B,C,D,E durchgegangen. Jede
Bedingung führt zu einem Schaltnetz, das die Erfüllung der Bedingung am Ausgang anzeigt.
Folgender Bildschirmausschnitt zeigt die einzige Lösung: Bert und Erik gehen ins Kino, die
anderen nicht.
