Finite state machine boolean equations

Thread Starter

nothing909

Joined Nov 5, 2016
54
i'm looking at this fsm with the truth table

fsm.PNG

table.PNG

the boolean equations are

eqn.PNG

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

table2.PNG
with the boolean equations

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