of the unused Slates. The next statefrom an unused state can be determined from the analysis of the circuit after it is designed.
As an illustration. consider the co unter specified in Table 6.7.The count has a repealed sequence
of six stales. with flip-nap s B and C rcpean ng the binary count 00. 01. 10. and flip-flop A alternating
between 0 and I every three counts. The count sequence of the counter is nor straight binary,
and IWO states. 011 and I I I. are nOI included in the count.The choice of JK llip-llops results
in the flip-flop input conditions listed in the table. Inputs KBand Kc have only t's and X's in theircolumns, so these inputs are always equal to I. The other flip-flop input equat ions can be stmplified
by using mintcrms 3 and 7 as don't-care conditions. The sinsimplified equations are