Aufgabe:
Hannah hat sich einen neuen Laptop gekauft, aber kurz nach der Inbetriebnahme gemerkt, dass der
Laptop nicht einwandfrei funktioniert. Bevor sie den Support kontaktiert, möchte Hannah den Fehler
eingrenzen. Sie beobachtet dazu die folgenden Symptome.
1. Es ist zu beobachten, dass der Webbrowser abstürzt, das Bild flattert, oder die WLAN-Verbindung
nicht funktioniert.
2. Wenn der Energiesparmodus aktiv ist, funktioniert die Tastatur nicht.
3. Die WLAN-Verbindung funktioniert übrigens nur dann nicht, wenn auch der Webbrowser abstürzt oder der Energiesparmodus aktiv ist.
4. Wenn aber der Energiesparmodus nicht aktiv ist, dann stürzt weder der Webbrowser ab, noch
flattert das Bild.
a) Modellieren Sie diese Zusammenhänge durch aussagenlogische Formeln ϕ1, . . . , ϕ4. Erläutern
Sie insbesondere die beabsichtigte Bedeutung der von Ihnen verwendeten Aussagenvariablen.
b) Zeigen Sie mittels aussagenlogischer Resolution: Aus den oben genannten Bedingungen folgt,
dass die Tastatur des Laptops nicht funktioniert.
Problem/Ansatz: Was ist die Lösung dieser Aufgabe?
