⑴逻辑抽象：计数器是在时钟脉冲作用下自动地计数，所以没有输入变量，只有进位输出，属于模尔型简单时序电路。

七进制加法计数器有七个有效状态，为S0、S1、…、S6，画出状态图

⑵状态化简：已是最简状态。
⑶状态分配：用三个触发器的000---110作为S0---S6的编码。如下所示。

⑷选定触发器类型，得出电路的状态方程、输出方程和驱动方程
调用《卡诺图动态模拟器》通过化简，得出电路的状态方程。卡诺图中逻辑变量A、B、C与题目给的逻辑变量Q对应关系是：
A表示Q2、B表示Q1、C表示Q0。

化简后的电路状态方程是：

??imgsrc="Log_7413.jpg"align="absmiddle"width="152"height="76"alt="Log_7413.jpg">

电路输出方程是：

选JK触发器，JK触发器的特性方程是，将状态方程变换为标准形式。

电路驱动方程是：

⑸画逻辑图

⑹检验电路能否自启动

电路能自启动。