Encoding the Variables
Inputs:
- Ignition: {off, on, start}
- Keypad: {0,…,9}
Outputs:
- Red Light: {on, off}
- Green Light: {on, off}
- StartCar: {yes, no}
What else do we need?
- Special value for when we “don’t care” what the value of an input (or an output) is.
- ? or X or -
Input vector: {ig | key }
output vector: { R | G | start }