i'm looking at this fsm with the truth table


the boolean equations are

why for s'1, doesn't it say s'1= barS1 S0 B, why does it miss out the bar S1 and if i put that in, would it be wrong?
i also look at this other truth table

with the boolean equations

again why doesn't it say s'1 = .... + s1 barS0 AB


the boolean equations are

why for s'1, doesn't it say s'1= barS1 S0 B, why does it miss out the bar S1 and if i put that in, would it be wrong?
i also look at this other truth table

with the boolean equations

again why doesn't it say s'1 = .... + s1 barS0 AB