试用下降沿JK触发器设计一个递增同步六进制计数器。要求计数器的状态转换代码具有相邻性（相邻两组代码中只有一位代码不同），且代码不包含全0和全1的码组。根据题意列出电路的状态转移真值表和卡诺图；写出状态方程、驱动方程，输出方程，检查启动特性。

正确答案:
根据表画出次态Q₂ⁿ⁺¹、Q₁ⁿ⁺¹、Q₀ⁿ⁺¹和输出Y的卡诺图，如图所示。