Zu 12.2.1
Die Musterlösung ist leider falsch:
Jeweils hinterm "U" muss ein "q" und nicht ("-q") stehen.

Zu 12.2.2:
Zitat:
Lösung: Mit p=Close, q=(-Heat und -Error) r=(p und q) ist dies -E[pUr] und -EGp
End Zitat
Das kling so, als ob -E[pUr] und -EGp die Lösung der Aufgabe wäre.
Gesucht werden jedoch s€S in der Krippke-Struktur M, die "f" erfüllen. Das sind s1 und s2 !!!

PS: Mein Übungstutor hätte für diese Musterlösung insgesamt höchstens 3 von 6 möglichen Punkten vergeben:)