I'm looking at this mealy machine:
and this state table with the boolean expressions at the bottom.
If you look at the \$S_1\$ boolean expression, it says \$S_1 = \overline S_1 S_0 B + S_1 A B\ \$.
Shouldn't it be \$S_1 = \overline S_1 S_0 B + S_1 \overline S_0 A B\ \$?
Why did they miss out the \$\overline S_0\$?