Design 3-bit synchronous counter that counts 0 1 2 4 7 and back to zero. Also, when the counter starts from undefined state (i.e., states 3, 5, and 6), it jumps to state 0, and continues its operation. Obtain the state transition table and the K-Maps for each input of each flip-flop. Use J-K flip-flops. Draw the logic diagram of the counter.