The output column comes directly from the z equation. We can now fill
in the next state section one entry at a time. For the first entry, since x =
A = B = 0, JA = KA = 0 and JB = KB = 1. From the flip flop behavioral
table of Table 6.7 (Section 6.3), we can see that A does not change state,
but B does. Thus, the next state is 0 1. Next, for x = A = 0 and B = 1
(the second row of the first column), JA = KA = 0 and JB = KB = 1.
Again, A does not change state, but once again B does. The resulting next
state is 00. At this point, we have the state table of Table 6.9a.