隐含表（状态对图）消消乐

不存在未知态的为完全规定型。

三个圆圈分别对应等价状态的a、b、c三种情况：（斜线左为次态；斜线右为输出）

a：次态都为A，相同，同输出（不能忘）

b：A的次态是A或B，B的次态是B或A，是其本身，同输出

c：在前提CD等价下，同输出

这些概念最后化简状态要用。

纵掐头（没有A）；横去尾（没有H）

等价打勾，不等价打叉，需要等价条件的填入等价条件

先观察AB，先横坐标后纵坐标，看横A纵B，AB若等价，需AC,BD等价，因而填入AC,BD

H与剩余其它态，看H输出为1时，其它态输出均为0，则H与其它均不等价，于是H一行均打叉。

填完第一轮后，又由于H不与其它任何一个等价，因此含有H的隐含条件再全部打叉。

又由于D一行已被叉完，再将其它行含D的隐含条件叉掉。

对保留的隐含条件AC来说，BF等价需要AC等价，找到AC处的隐含条件AE,BF，由于AE,BF处没有打叉，且刚好回到BF处的AC隐含条件，因而AC，BF互为等价条件，同时等价。

又知AE,AG等价，AC又等价，则ACEG均等价。

然后根据最大等价类进行合并状态

根据最大等价类进行变量替换，每个最大等价类只用替换一个就行，比如将A替换为a，而其余CEG不用管了。最终得到最简状态表。

之后再进行状态分配，将状态进行具体编码。

先列相邻再行相邻，每个相邻状态中次数多者先编码，本题编码顺序是a，d，b，c或a，d，c，b

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

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