Encode state table
State can be: S1, S2, S3, OPEN, or ERR
- Need at least 3 bits to encode: 000, 001, 010, 011, 100
- Can use 5 bits: 00001, 00010, 00100, 01000, 10000
- Choose 4 bits: 0001, 0010, 0100, 1000, 0000
Output to mux can be: C1, C2, or C3
- needs 2 or 3 bits to encode
- choose 3 bits: 001, 010, 100
Output open/closed can be: open or closed
- needs 1 or 2 bits to encode
- choose 1 bit: 1, 0