Dein Denkfehler liegt wahrscheinlich in der Annahme, dass das Skript fehlerfrei ist
Eine potentielle Fehlerquelle ist die unglückliche gleiche Namensgebung für Zustand "rot" und Ausgang "Rot". Das kann zu leicht verwechselt werden. Ich stimme dir zu, dass für den Ausgang Rot die Funktion R = J0 ∨ J1 gelten müsste. R = J0 gilt für den Zustand rot. Aber ohne auszuprobieren in der Praxis möchte ich mich nicht festlegen.
Lesezeichen