L14A Elimination of Redundant StatesL14B Determination of State Equivalence by Using an Implication TableL14C Equivalent Sequential CircuitsL14D Incompletely Specified State TablesL14E Derivation of F-F Input EquationsL14F Equivalent State AssignmentsL14G Guidelines for State Assignment - BasicL14H Guidelines for State Assignment - Example 1L14I Guidelines for State Assignment - Example 2L14J Using a One-Hot State Assignment