Explore relationships

Implication table

An implication table is a tool used to facilitate the minimization of states in a state machine. The concept is to start assuming that every state may be able to combine with every other state, then eliminate combinations that are not possible.

Use + to expand a branch. Click a topic name to open its summary.