I am currently trying to put this state diagram into a truth table:
I wrote the truth table like this:
When I try to get the expression for q1+ I get: q1+ = q1q0' + q1q0x, but I can apparently get: q1+ = q1q0 + q0*x
Do you setup the K-map differently when using graycode or what am I doing wrong here?