1011 example

The white board drawings

Diagram	Next State	Output

Logical table representations

Next State

Present State	Input	Next State
`A`	0	`A`
`A`	1	`B`
`B`	0	`C`
`B`	1	`B`
`C`	0	`A`
`C`	1	`D`
`D`	0	`C`
`D`	1	`E`
`E`	0	`C`
`E`	1	`B`

Output

State	Output
`A`	0
`B`	0
`C`	0
`D`	0
`E`	1

State Assignment

Logical	Binary
`A`	0	0	0
`B`	0	0	1
`C`	0	1	0
`D`	0	1	1
`E`	1	0	0

Binary table representation

Present State			Input	Next State			Output
0	0	0	0	0	0	0	0
0	0	0	1	0	0	1	0
0	0	1	0	0	1	0	0
0	0	1	1	0	0	1	0
0	1	0	0	0	0	0	0
0	1	0	1	0	1	1	0
0	1	1	0	0	1	0	0
0	1	1	1	1	0	0	0
1	0	0	0	0	1	0	1
1	0	0	1	0	0	1	1

Binary circuit in LogiSim