Für diese Übung wird zunächst das Kartenspiel Uno betrachtet. Das Spiel wird mit Karten in den 4 Farben rot, blau, grün, gelb gespielt, die die Werte 0 bis 9 haben. Dazu gibt es noch weitere Karten in den Farben für den Wechsel der Spielrichtung, das Ziehen von Strafkarten und das Aussetzen des nächsten Spielers. Neben den Farbkarten gibt es noch schwarze Karten, einmal den Farbwunsch und dann noch Farbwunsch und Karte ziehen kombiniert.

Dabei gelten die folgende Grundregeln:

• Karten der gleichen Farbe dürfen aufeinander gelegt werden.
• Karten des gleichen Wertes dürfen aufeinander gelegt werden.
• Schwarze Karten dürfen nur auf farbige Karten gelegt werden.

Das Uno-Spiel mit diesen Regeln ist recht langweilig. Von daher werden im Folgenden einige Zusatzregeln eingeführt. Wandle die folgenden formulierten Regeln und Schlussfolgerungen in Aussagen um:

1. Wenn die Farbe einer Karte grün ist, dann sagt der Spieler blau.
2. Jede gelbe Karte, die gerade ist, hat die Farbe grün.
3. Wenn die Karte gelb ist, und der Spieler nicht blau sagt, dann war die Karte ungerade oder eine Sonderkarte.
4. Wenn der Spieler nicht blau sagt, dann ist weder die Karte gelb und gerade noch ist die Farbe grün.

Lege dazu für die atomaren Ausdrücke jeweils eine Variable fest und erzeuge dann die entsprechenden aussagenlogischen Ausdrücke. Verwende für die gesamte Aufgabe nicht mehr als 4 atomare Ausdrücke. Eine der oben genannten Aussagen ist dabei kein atomarer Ausdruck.