A B C D [CODE] 0 00 0 1 [CODE] 0 01 0 2 [CODE] 1 00 1 1 [CODE] 1 01 0 2 [CODE] 1 10 0 3 [CODE] 2 00 1 3 [CODE] 3 00 0 3 [CODE] 3 01 0 3 [CODE] A: Aktueller Zustand\B: Eingabe, x1, x2\C: Ausgabe, y, D: Folgezustand