Aufgabe:
Sina und Tim planen, welche Vorlesungen sie im kommenden Wintersemester hören wollen. Folgende Überlegungen stellen sie dazu an.
1. Sina hört die Vorlesung Quantenblockchains genau dann, wenn auch Tim sie hört.
2. Tim hört Quantenblockchains nur, wenn er begleitend die Vorlesungen IT-Sicherheit und Algo-
rithmen hört.
3. Sina hört entweder IT-Sicherheit oder Algorithmen.
4. Sowohl Sina als auch Tim hören die Vorlesung Cloudcomputing, wenn sie beide nicht IT-Sicherheit hören.
Modellieren Sie die Zusammenhänge durch aussagenlogische Formeln ϕ1, . . . , ϕ4. Erläutern Sie insbesondere die beabsichtigte Bedeutung der von Ihnen verwendeten Aussagenvariablen.
