Hallo,
ich erkläre es mal allgemein, da ich die Begründung nicht nachvollziehen kann. ;)
Hier wird auch wieder der Zustand des Flip-Flops im Automatenzustand kodiert. Soweit klar, denke ich. D.h. s11 liefert im nächsten Takt a=b=1 mit E=1 suche ich also nach einem UND Baustein, der keine Negation vorgeschaltet hat. Dies ist nur der unterste, wenn ich der Leitung dann folge wird das ODER Wahr und so der 2. Flip-Flop wieder 1 (sab: b=1) für den oberen sieht man dann, dass aufgrund der Negationen hier alle UND Bausteine falsch ausgeben und so ODER auch falsch wird. Folglich gilt sab | a=0, b=1 ==> s01
Viele Grüße,
Julian (Tutor)