一般时序电路设计（次态卡诺图化简法）

次态卡诺图

 没有用到的状态用xxxx表示，当作约束项。

四个状态变量要分成四个卡诺图

Q3*,Q2*Q1*Q0*

四个卡诺图

对于Q3*的卡诺图，将次态卡诺图的每一行的左数第一个数填入Q3*的卡诺图的对应的每一行。0省略，x一定要写；

对于Q2*                                      二

。。。

题目要求用JK触发器

 

 m15为x，所以舍去，用中间一条分界线将Q3’和Q3分开，画圈的时候不要过界，可以使化简过程中不同时参杂两者而消去Q3.

 Q2是两条分界线。

 绿色部分，C的卡诺图

把无效状态代入到状态方程中去求出次态以及输出，三个无效状态都能回到有效状态，说明电路能够自启动。

简便办法看次态，以无效状态1101为例，对Q3-0四个次态状态表找到对应的位置，看是否被圈住，被圈住为1，没被圈住为0，则对1101来说，其次态为0010.

如果不能自启动，那就让它自启动。

把3个无效态的次态给指定出来

参考来源： [数字电路基础]一般时序电路设计(隐含表) 数电期末必备,真的不难34_哔哩哔哩_bilibili

（结合视频食用效果更佳）