Błąd w układzie z przerzutnikami RS - niezgodność z grafem przejść

Miałam wykorzystując przerzutniki asynchroniczne RS zaprojektować układ działający zgodnie z podanym grafem:

Rozpisałam funkcje dla poszczególnych wejść R I S:
S1=x2'Q2
R1=x2Q2'
S2=x2'Q1'
R2=x1Q1
Y1=Q1
Y2=Q2
i skleciłam z tego coś takiego:

no i nijak z tego nie wychodzi mi zadany graf przejść i wyjść:


Nie wiem, gdzie popełniłam błąd. Proszę o wszystkie sugestie

myśle ze przy u7 lipa jest

Szczerze mówiąc już tyle razy analizowałam ten układ, że chyba już uodporniłam się na dostrzeganie w nim błędów. Nadal nic nie widzę.
Stwierdziłam, że może złe przejścia spowodowane są tylko moim brakiem umiejętności, ale jakimiś niedostatkami w implementacji multisima.
Spróbowałam sama zbudować przerzutniki RS i teraz układ działa trochę lepiej ( w przeważającej ilości przypadków działa pięknie zgodnie z grafem)

Niestety nadal pojawiają się błędne przejścia:



Już zupełnie głupieję z tym układem (chociaż to i tak mały pikuś w porównaniu z tym co się dzieje z moim licznikiem synchronicznym na JK...)

może zepsułaś?