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

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

    ⑵状态化简：已是最简状态。

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

    ⑷选定触发器类型，得出电路的状态方程、输出方程和驱动方程

    调用《卡诺图动态模拟器》通过化简，得出电路的状态方程。卡诺图中逻辑变量A、B、C与题目给的逻辑变量Q对应关系是：

    A表示Q2、B表示Q1、C表示Q0。

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

    ??imgsrc="查看详细"align="absmiddle"width="152"height="76"alt="查看详细">

    电路输出方程是：

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

    电路驱动方程是：

    ⑸画逻辑图

    ⑹检验电路能否自启动

    电路能自启动。