Consider a JK state machine made with the following excitation and output logic. The input and statevariables are given in ordered quad (x y Qa Qb). The output is z.

Ja = x:Qb + y '·Qb' Ka = x• y'Qb' Jb = z·Qa Kb = Qa + x·y' z = x':y·Qa + x'·y 'Qb a) Substitute the excitation equations into the JK flip-flop characteristic equation to produce the next state equations as sum of product expressions. b) Fill in the given transition table and draw the transition diagram. Identify the reset state 00 and be sure to use the Mealy convention.