aus der Musterlösung:

Gesucht ist eine Formel A, deren Wert genau dann ~y sein soll (zur Quelle geht es rechts entlang), wenn der Automat das korrekte Ergebnis liefert. Es muss also gelten: ~y = x <=> A. Da Äquivalenz assoziativ und kommutativ ist, bekommen wir mit Normalisierung A = x <=> ~y.

Hier die Klausur:
http://www.ps.uni-sb.de/courses/cl-ss04/klausur-2.pdf
Hier die Lösung:
http://www.ps.uni-sb.de/courses/cl-ss04/klausur-2-musterloesung.pdf