The truth table above shows the next state and the JK inputs for each of the flip flops. Note that only the first eight rows are completed for the output column z, since z is not a function of the input x. We can now find expressions for the output (with a three-variable map) and for the D inputs (using the A, B, and C columns) or for the JK