Using Logicworks, design and implement a state machine whose output is the 3-bit gray code counter sequence. The output of the counter updates upon each positive edge of a clock signal. A 3-bit gray code counter has the following output sequence: 000 001 011 010 110 111 101 100 000 ... Once the sequence reaches 100, it loops back to 000. Use D-Flip Flops to hold the states of the state machine. Make sure that the state update equations are simplified as much as possible using K-maps, and use logic gates to implement the simplified state update equations. Use a binary switch for the clock input, and attach binary probes to the outputs