⑴逻辑抽象：计数器是在时钟脉冲作用下自动地计数，所以没有输入变量，只有进位输出，属于模尔型简单时序电路。
七进制加法计数器有七个有效状态，为S0、S1、…、S6，画出状态图
⑵状态化简：已是最简状态。
⑶状态分配：用三个触发器的000---110作为S0---S6的编码。如下所示。
⑷选定触发器类型，得出电路的状态方程、输出方程和驱动方程
调用《卡诺图动态模拟器》通过化简，得出电路的状态方程。卡诺图中逻辑变量A、B、C与题目给的逻辑变量Q对应关系是：
A表示Q2、B表示Q1、C表示Q0。
化简后的电路状态方程是：
??imgsrc="http://www.guangdongdz.com/special_column/techarticle/20067/Log_7413.jpg"align="absmiddle"width="152"height="76"alt="http://www.guangdongdz.com/special_column/techarticle/20067/Log_7413.jpg">
电路输出方程是：
选JK触发器，JK触发器的特性方程是
，将状态方程变换为标准形式。
电路驱动方程是：
⑸画逻辑图
⑹检验电路能否自启动
