AB 00 01 11 10 S

𝑨𝟎 𝐴0 𝐵1 𝐴0 𝐴1 0
𝑨𝟏 𝐴0 𝐵1 𝐴0 𝐴1 1
𝑩𝟎 𝐵1 𝐵0 𝐵1 𝐴0 0
𝑩𝟏 𝐵1 𝐵0 𝐵1 𝐴0 1

Asignamos estados:

𝐴0 = 00
𝐴1 = 01
𝐵0 = 11
𝐵1 = 10

AB 00 01 11 10 S

y1y2
00 00 10 00 01 0
01 00 10 00 01 1
11 10 11 10 00 0
10 10 11 10 00 1

Implementación con FF-JK

Q(t) Q(t+1)
0 0
0 1
1 0
1 1
J K
0 d
1 d
d 1
d 0

AB 00 01 11 10 AB 00 01 11 10

y1y2 y1y2
00 0 1 0 0 00 d d d d
01 0 1 0 0 01 d d d d
11 d d d d 11 0 0 0 1
10 d d d d 10 0 0 0 1

J1=/A.B K1=A./B
AB 00 01 11 10 AB 00 01 11 10

y1y2 y1y2
00 0 0 0 1 00 d d d d
01 d d d d 01 1 1 1 0
11 d d d d 11 1 0 1 1
10 0 1 0 0 10 d d d d
J2=A./B./y1 K2=/A./B+B./y1+A.y1

y2 0 1
y1
0 1
1 1

S=y2⊕y1