1. The problem statement, all variables and given/known data A counter has two state outputs y1 (the more significant bit) and y2 (the less significant bit) and a control input x. When x = 0, the states of the counter’s flip-flops do not change. When x = 1, the states of the counter’s flip-flops cycle through the codes of a 2-bit Gray code sequence (00 – 01 – 11 – 10) on successive clock pulses. 2. Relevant equations 3. The attempt at a solution I am having trouble setting up the state table. The gray code part is what's confusing me I think. Does anyone mind looking at my state table to verify if it's right. Also, how am I supposed to know what the outputs for y1 and y2 yield?