DADO ELECTRNICO

Tabla Estados Primarios

ESTADO INICIAL
I0
I0
I1
I1
I2
I2
I3
I3
I4
I4
I5
I5

X
0
1
0
1
0
1
0
1
0
1
0
1

ESTADO FUTURO
I1
I0
I2
I1
I3
I2
I4
I3
I5
I4
I0
I5

0
0
0
0
0
0
1
1
1
1
1
1

SALIDA
0
0
1
1
1
1
0
0
0
0
1
1

1
1
0
0
1
1
0
0
1
1
0
0

Tabla Segundaria
ESTADO INICIAL
A
0
0
0
0
0
0
0
0
1
1
1
1

B
0
0
0
0
1
1
1
1
0
0
0
0

C
0
0
1
1
0
0
1
1
0
0
1
1

ESTADO FUTURO
X
0
1
0
1
0
1
0
1
0
1
0
1

JA
0
0
0
0
0
0
1
0
X
X
X
X

KA
X
X
X
X
X
X
X
X
0
0
1
0

JB
0
0
1
0
X
X
X
X
0
0
0
0

KB
X
X
X
X
0
0
1
0
X
X
X
X

JC
1
0
X
X
1
0
X
X
1
0
X
X

KC
X
X
1
0
X
X
1
0
X
X
1
0

Simplificacin por Mapas K

JA= BC/X

KA= C/X

A(t+1) B(t+1) C(t+1) S2

0
1
0
0
0
0
0
0
0
1
0
0
0
1
0
0
1
1
0
0
1
0
0
0
0
0
1
1
1
1
0
1
1
0
1
1
1
0
0
1
0
0
0
1
1
0
1
1

SALIDAS
S1
0
0
1
1
1
1
0
0
0
0
1
1

S0
1
1
0
0
1
1
0
0
1
1
0
0

JB=/AC/X

KB=C/X

KC= /X
JC=/X

S2=A+BC

S1=B/C + /BC

S0=/C

ECUACIONES:
JA= BC/X

KA=C/X

JB=/AC/X

KB=C/X

JC= /X

KC=/X

S2= A+BC

S1=B/C+/BC

S0= /C