一个模计数器，其状态转换关系如下图，用T触发器设计时的最简激励方程组为，电路能否自启动