That, too, is sufficient information since the output is 1 if and only if there were previously two or more 1’s and the present input is a 1. If the present input is a 0, the next state is A; otherwise, we move from A to B and from B to C. The state diagram is shown in Figure 7.13.