For a state machine with the following state diagram, the expression for the next state S+ in terms of current state S and the input variable X and Y is
1
S+ = S̅ Y̅ + SX
2
S+ = S X Y̅ + S̅ X̅ Y
3
S+ = X Y̅
4
S+ = S̅ Y + S X̅
For a state machine with the following state diagram, the expression for the next state S+ in terms of current state S and the input variable X and Y is