Assume we want to design a sequential circuit that toggles its state variables (PQ) on an input of x=0. Draw the state diagram and corresponding state table. This is essentially a count by two, two-bit counter. For an input of x=1, the state should toggle the higher bit (msb). (Note, you do not need to know what type of flip flops are being used.)