Hi Anonym,
tut mir leid, dass ich dich beleidigt habe, da ich etwas gestresst war.
Ich hoffe du kannst mir verzeihen.
Du wolltest ja die Lösung für die Klausur aufgabe mit den Vereinfachungen der Klauseln
(not x and not y and not z) or (x and not y and z) or (not x and not y and not z)
führt zu (x and not y) or (not y and not z)
du vereinfachst das 2 literal mit dem 3 und das 3 mit dem 1 wiederum, wegen der Bindungsstärke :)