S9

S8 S1

S12 S3
Present Next
Number D3 D2 D1 D0
state state
1 0001 0011 0 0 1 1
3 0011 0010 0 0 1 0
2
S4 0010 0110 0
S2 1 1 0
SET
D Q
6 0110 0100 0 1 0 0
4 0100 1100 1 1 0 0
12 1100 S6
1000 1 0 0 0
8 1000 1001 1 0 0 1
9 1001 0001 0 0 0 1
Q Qn+1 D
0  0 0
0  1 1
1
1


0
1
0
1
CLR Q
Q1 Q0
0 0 0 1 1 1
Q3 Q2
0 0 X 0 0
0 1 1 X X

D3=Q2 Q́1 Q́0 +Q3 Q́1 Q́0

Q1 Q0
0 0 0 1 1 1
Q3 Q2
0 0 X 0 0
0 1 1 X X

D2=Q́3 Q2 Q́1 Q́0 + Q́3 Q1 Q́0

 Q1 Q0
0 0 0 1 1 1
Q3 Q2
0 0 X 1 1
0 1 0 X X

D 1=Q́ 3 Q́2 Q 0 + Q́ 3 Q́ 2 Q 1

Q1 Q0
0 0 0 1 1 1
Q3 Q2
0 0 X 1 0
0 1 0 X X

D 0=Q́ 3 Q́ 2 Q́ 1 Q 0 +Q 3 Q́ 2 Q́ 1