[RISOLTO] Contatore Johnson: determinare S_0 e S_5

In riferimento al contatore Johnson visto a lezione, che è composto da 5 Flip Flop D latch, vorrei sapere se per determinare gli stati S_0 ed S_5 si fa così:

posto
e

Vi risulta che sia sufficiente mettere due ulteriori porte AND corrispondenti alle seguenti espressioni?



Grazie.

Anche così gli stati S0 e S5 vengono correttamente decodificati. Tuttavia è sufficiente porre
S0 = Q0' Q4'
S5 = Q0 Q4
Lo stato S0 è l'unico in cui sia Q0 che Q4 si trovano entrambi a 0, così come lo stato S5 è l'unico in cui sia Q0 che Q4 si trovano entrambi a 1.

Grazie!!! E' tutto chiarissimo.