It's a digital microcontroller, which is driven by a clock and three inputs $,$ and C$,$ produces three outputs $,$ and $.$ The microcomputer continuously runs the following sequence of events: At the beginning of the first cycle of the clock, line $$ is set to $1.$

At the beginning of the second cycle of $,$ line $$ or line $$ is set to $1,$ depending on whether line $$ is $1$ or $0,$ respectively, in the previous $$ cycle. The microcontroller then waits until line B becomes $1.$ At the next positive edge of the clock, the microcontroller examines the input C and if it is $0,$ sets the output $$ to the value $1$ and disables the output $$ for the duration of two cycles of the clock, Otherwise, it sets the output signal $$ to the value $1$ and does not mean the outputs $$ and $$ for a cycle of logic. Then it resets all the output signals for a cycle of logic. This sequence is repeated, starting with the next positive cycle.

Draw a state diagram and give the next state logic and output signals for the above microcontroller.