Aufgabe:

[Aussagenlogische Modellierung] 

Alex plant einen Spieleabend. Zur Auswahl stehen die besonders beliebten Spiele Cloedu, Madoki und
Tuba. Außerdem stehen noch die Spiele Knoffel, Scrubble und Wagnis zur Auswahl. Aus Erfahrung
kennt Alex die folgenden Zusammenhänge, die für einen gelungenen Spieleabend alle eingehalten werden sollten.

1. Wenn sowohl Wagnis als auch Knoffel gespielt werden, wird Madoki nicht gespielt.
2. Nur dann wenn Scrubble oder Wagnis gespielt werden, wird Tuba gespielt.
3. Scrubble oder Cloedu werden genau dann gespielt, wenn Madoki gespielt wird.
4. Mindestens zwei besonders beliebte Spiele werden gespielt.

a) Modellieren Sie die obigen Zusammenhänge durch aussagenlogische Formeln.
Wählen Sie dazu zunächst geeignete aussagenlogische Variablen und geben Sie für jede Variable
die beabsichtigte Bedeutung an. Beachten Sie dabei, dass aussagenlogische Variablen Aussagen
modellieren, aber – unter anderem – keine Fragen, Aufforderungen oder Objekte.
Modellieren Sie anschließend die Zusammenhänge durch aussagenlogische Formeln φ1, . . . , φ4
unter Verwendung der von Ihnen gewählten Variablen.
Weitere Begründungen sind hier nicht erforderlich.

Problem/Ansatz:

Können Sie mir bitte helfen, diese Aufgabe zu lösen?