0%200%200%20complex%20expr.%20%200%200%200%20%200%200

1
000 wait state
Here are the combinations of inputs that cause a
transition from state 0 to state 0. This is a
more complex than Id ideally like for an
assignment, but see the comment below
0000 0001 0010 0011 0100 0101 0110 0111 1000 1001
1010 1011 1100 1101 1110 1111
up.down down.atBottom down.atTop
?
-1-0
100-
up.down.
down
T
T
001 Going up
101 Going down
OpenUp Valve
OpenDown Valve
F
F
AtTop?
AtBottom?
F
F
Obstruction Detected?
Obstruction Detected?
T
AB
00 01 11 10
010 backing offa
110 backing offc
CD
OpenDown Valve
OpenUp Valve
1
00 01 11 10
1
1
1
1
1
1
1
1
1
011 backing off b
111 backing offd
OpenDown Valve
OpenUp Valve
up.down down.atBottom down.atTop
Complex expr
100 manual operation
You can minimise the expression for the condition
that governs thje transition from state 0 back to
itself, as I have done above, or you can observe
that a transition to state 0 does not generate
any 1s in the transition table, and will
therefore be unused in the resulting circuit.
That is, you dont actually need the expression
at all!
AtTop AtBottom
T
F
up
OpenUp Valve
down
OpenDown Valve
ObstructionDetected
OpenDownValve
OpenUpValve
AtBottom
AtTop
down
up
cp
An BB Cn
Ap
Bp
0 0 0 complex expr. 0 0 0 0 0 1
0 0 - - 0 0 1 0 0 0 1 - 0 -
1 0 1 0 0 1 1 - - - 0 0 0 0
0 0 0 1 - - - - 1 0 1 0 1 0
- - 1 - 0 0 0 0 1 0 - - 0 -
0 0 0 1 1 0 0 1 0 - - - - - 0 1 1
0 1 0 1 1 - - - - - 1 0 0 0 1 1 0
0 - - (1 1)- 0 0 0 0 0 1 0 0
0 - 1 0 0 1 0 0 1 0 0 - 1 0
0 0 1 1 1 - - - 1 0 0 0 0 1
0 1 - - - - 1 1 1 0 0 1 - -
- 1 0 0 0 0 0 1 - - - 0 0
1 0 1 0 1 1 1 0 - - - - - 1 1 1 1
0 1 1 1 - - - - - 1 0 0 1 0
Inputs
Up Down AtTop AtBottom ObstructionDetected
Outputs
OpenUpValve OpenDownValve
2
ObstructionDetected
OpenDownValve
OpenUpValve
AtBottom
AtTop
down
up
Bp
cp
An BB Cn
Ap
0 0 0 complex expr. 0 0 0 0 0 1
0 0 - - 0 0 1 0 0 0 1 - 0 -
1 0 1 0 0 1 1 - - - 0 0 0 0
0 0 0 1 - - - - 1 0 1 0 1 0
- - 1 - 0 0 0 0 1 0 - - 0 -
0 0 0 1 1 0 0 1 0 - - - - - 0 1 1
0 1 0 1 1 - - - - - 1 0 0 0 1 1 0
0 - - (1 1)- 0 0 0 0 0 1 0 0
0 - 1 0 0 1 0 0 1 0 0 - 1 0
0 0 1 1 1 - - - 1 0 0 0 0 1
0 1 - - - - 1 1 1 0 0 1 - -
- 1 0 0 0 0 0 1 - - - 0 0
1 0 1 0 1 1 1 0 - - - - - 1 1 1 1
0 1 1 1 - - - - - 1 0 0 1 0
ObstructionDetected
AtBottom
AtTop
down
up
T
F
0 1 2 3 4 5 6 7
OpenUpValve
OD AT . OD AT.OD
0 1 2 3 4 5 6 7
OpenDownValve
0 1 2 3 4 5 6 7
An
D2
0 1 2 3 4 5 6 7
Bn
D1
0 1 2 3 4 5 6 7
Cn
D0
Q2
Q1
Q0