1. A Gray code synchronous counter is often used in state machine design. This problem requires a six-state Gray code counter. The usual Gray code sequence is not used because the sixth state would not be Gray when the counter returns to zero. Instead, the sequence shown in Figure 20-4 is required. There are two unused states: state 5 and state 7. For the initial design, these states are not shown. Complete the next-state table in the report for the main sequence shown here.\ 2. Using the transition table for the J-K flipflop, complete the Karnaugh maps shown in the report. The J-K transition table (Table 20-1) is repeated in the report for convenience.\ 3. Read the required logic expressions from each map that you completed in step 2. Check that the unused states return to the main sequence. If they do not, modify the design to assure that they do return. Then, construct and test your circuit. You can check the state sequence with an oscilloscope or a logic analyzer. Summarize the results of your test in your\ report.