Microsoft Word - Digital Logic Design v_4_6a

In general for an n-state machine, we will have (n^2 - n)/2 cells. Each of the cells in the

implication chart relates State Sj with State Si.

Note: The order is not important.

 Step 3) Fill-in each cell (Xij) in the implication table with one of the following two options:

• X if the Si and Sj have different outputs.
  (state output for Moore machine and transition output for the Mealy machine)


• Transition states for Sj and Si for each of the inputs
  This means that the next states for all possible inputs must be equivalent for these states
  to be equivalent.

S 1

S 2

S 3

S 4

S 5

S 6

S 0 S 1 S 2 S 3 S 4 S 5