zum Thema Gödel hatte ich heute ne Schicke Aufgabe in der Klausur:

Sie haben sich in der Wüste der Logiker verlaufen, die Sonne brennt vom Himmel, Sie sind am Ende, wenn Sie nicht bald Wasser finden. Sie kommen an eine Weggabelung, von der Sie wissen, dass es entweder links oder rechts zu einem Brunnen geht. Glücklicherweise steht an der Gabelung ein Gödelautomat, der Boolesche Formeln auswertet. Unter anderem kennt er die Variablen x, y:
* x = 1 genau dann, wenn der Automat das korrekte Ergebnis liefert.
* y = 1 genau dann, wenn es links zur Quelle geht.
Welche Formel müssen Sie den Automaten auswerten lassen, damit Sie genau dann das Ergebnis 1 bekommen, wenn es rechts zur Quelle geht?\n\n

<!--EDIT|esskar|1090693035-->