Consider the following characteristic function of a 1-flip-flop circuit with inputs X, Y. (20 points) Q(t) is the current value of the flip-flop output and Q = Q(t+1) is the next value of the flip-flop output. X Y Q Here Q = 0 0 Q no change 0 1 1 set 1 0 Q' toggle 1 1 Qno change (a) Derive a characteristic equation for the above table. (b) Draw a state diagram for the above table. Use minimized transition expressions to label the arrows in your state diagram. (c) Write Verilog code for the one flip-flop circuit.