X’ J1

J Q
The flip‐flop
The flip flop input equations
input equations are: Q0
C

J1 = X’ Q0                        J0 = X + Q1 X K1
K Q’
Q0
K1 = X + Q0                   K0 = X’ X
Z

X J0
J Q
Q1
C
The JK FF characteristics Equations  X’ K0
K Q’
Q(t+1) = K’Q(t)
Q(t+1) = K Q(t) + JQ
+ JQ’(t)
(t)
Therefore the next states are 
Q1(t+1) = K1’Q1(t) + J1Q1’(t)
Q0(t+1) = K
(t+1) = K0’Q
Q0(t) + J
(t) + J0Q0’(t)
(t)

Therefore the state equations are
Q1(t
(t+1)
1) = (X
(X+Q
Q0(t))
(t))’ Q
Q1(t) 
(t) + X
X’Q
Q0(t) Q
(t) Q1’(t)
(t)
Q0(t+1) = X Q0(t) + (X+Q1(t))Q0’(t)
The Output Equation
Z = Q1Q0X
9 June 2009 Page 1
Dr. Saied  M. Abd El‐atty Soliman ssoliman1@ksu.edu.sa
The State Table is
Present State Inputs FF Inputs Next State Outputs
Q1 Q0 X J1 K1 J0 K0 Q1 Q0 Z
0 0 0 0 0 0 1 0 0 0
0 0 1 0 1 1 0 0 1 0
0 1 0 1 1 0 1 1 0 0
0 1 1 0 1 1 0 0 1 0
1 0 0 0 0 1 1 1 1 0
1 0 1 0 1 1 0 0 1 0
1 1 0 1 1 1 1 0 0 0
1 1 1 0 1 1 0 0 1 1

input output
The State diagram  is
0/0 1/0

1/0
00 01

1/1
0/0 1/0 0/0

/
0/0
11 10
9 June 2009 Page 2
Dr. Saied  M. Abd El‐atty Soliman state ssoliman1@ksu.edu.sa
 2) Complete the truth table for the following sequential circuit:

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

JA=KA=X.A
B=D
A(t+1)=K’AA+JAA’=(XA)’A+XAA’=X’A+A’A+0=X’A

B(t+1)=AB’

9 June 2009 Page 3
Dr. Saied  M. Abd El‐atty Soliman ssoliman1@ksu.edu.sa
4) Consider the sequential circuit with two JK FF and input x, The circuit is described by the 
following flip‐flop input equations
JA= x                                         K
x KA=B’
B’
JB= x                                         KB=A
a) Derive the state equations A(t+1) and B(t+1) by substituting the input equations for the J 
and K variables
and K variables.
b)  Draw the state diagram of the circuit.

a) The next state equation are
A(t+1)=KA’A+JAA’=BA+xA’
B(t+1)= KB’B+JBB’=A’B+xB’

9 June 2009 Page 4
Dr. Saied  M. Abd El‐atty Soliman ssoliman1@ksu.edu.sa
 Cont’
When
JA= x                                         KA=B’
JB= x                                         KB=A
A(t+1)=KA’A+J
A+JAA
A’=BA+xA’
=BA+xA
B(t+1)= KB’B+JBB’=A’B+xB’

State Table
Present State Input Next State FF inputs
A     B x A(t+1)  B(t+1) JA kA  JB  KB
0     0 0 0         0 0   1  0  0
0     0 1 0         1 1   1  1  0
0     1 0 0       1 0   0  0  0
0     1 1 1         1 1   0  1  0
1 0
1     0 0 0
0         0
0 0   1  0  1
1     0 1 0         1 1   1  1  1
1     1 0 1         0 0   0  0  1
1 1
1     1 1
1         0
0 1 0 1 1
1   0  1  1

9 June 2009 Page 5
Dr. Saied  M. Abd El‐atty Soliman ssoliman1@ksu.edu.sa
 Cont’

b) State diagram

9 June 2009 Page 6
Dr. Saied  M. Abd El‐atty Soliman ssoliman1@ksu.edu.sa
 6) Analyze the sequential circuit (Modulo‐4) shown in Figure (1) and the sequential circuit . 
At Fig (2) You are to give the state diagram for this circuit
At Fig.(2). You are to give the state diagram for this circuit.

First we derive the Boolean expressions for the 
inputs of each flip‐flops in the schematic

D 0 = X ⊕ Q 0 = X Q 0′ + X Q
′ 0
′ 1 + X Q1′Q 0 + X Q1Q 0′
D1 = X Q
9 June 2009 Page 7
Dr. Saied  M. Abd El‐atty Soliman ssoliman1@ksu.edu.sa
Therefore the next state equations are given by using D FF characteristic  equation  

Q(next) = D

D 0 (next ) = D 0 = X Q 0′ + X Q
′ 0
′ 1 + X Q1′Q 0 + X Q1Q 0′
D1 (next ) = X Q

Therefore the state Table

Present State
Present State Input Next State
Next State
Q0 Q1 X(t) Q0(t+1)  Q1(t+1)
0     0 0 0         0
0 0
0     0 1 0
0         1
1
0     1 0 0         1
0     1 1 1         0
1     0 0 1         0
1     0 1 1         1
1     1 0 1         1
1     1 1 0         0
9 June 2009 Page 8
Dr. Saied  M. Abd El‐atty Soliman ssoliman1@ksu.edu.sa
 State diagram

9 June 2009 Page 9
Dr. Saied  M. Abd El‐atty Soliman ssoliman1@ksu.edu.sa
 6) Analyze the sequential circuit (Modulo‐4) shown in Figure (1) and the sequential circuit . 
At Fig (2) You are to give the state diagram for this circuit
At Fig.(2). You are to give the state diagram for this circuit.

First we derive the Boolean expressions for the  The Output equation
inputs of each flip‐flops in the schematic
Y = Q 0Q1
D 0 = X ⊕ Q 0 = X Q 0′ + X Q
′ 0
′ 1 + X Q1′Q 0 + X Q1Q 0′
D1 = X Q

9 June 2009 Page 10
Dr. Saied  M. Abd El‐atty Soliman ssoliman1@ksu.edu.sa
Therefore the next state equations are given by using D FF characteristic  equation  

Q(next) = D
Y = Q 0Q1
D 0 (next ) = D 0 = X Q 0′ + X Q
′ 0
′ 1 + X Q1′Q 0 + X Q1Q 0′
D1 (next ) = X Q

Therefore the state Table

Present State Input Next State Output

Q0 Q1 X(t) Q0(t+1)  Q1(t+1) Y(t)
0     0 0 0         0 0
0 0
0     0 1 0
0         1
1 0
0     1 0 0         1 0
0     1 1 1         0 0
1 0
1     0 0 1
1         0
0 0
1     0 1 1         1 1
1     1 0 1         1 1
1 1
1     1 0
0         0
0 0
9 June 2009 Page 11
Dr. Saied  M. Abd El‐atty Soliman ssoliman1@ksu.edu.sa
 State diagram

9 June 2009 Page 12
Dr. Saied  M. Abd El‐atty Soliman ssoliman1@ksu.edu.sa