不完全确定状态表的化简

 

首先，做隐含表，列出可以替换的字母。

然后画出一个图，将可以替换的字母之间添加边。

然后能组合成完全图的列出来。

然后把（完全图）和替换对组合，要求能包含所有的字母

，选组合数最小的（可能有好几个）

然后列出组合的次态，如果所有的次态在原始态能能够找到，就可以做化简。

把一个完全图标为Q，另一个替换对标为P，两个都有的字母用X代替，然后在原表格中替换。

替换完后合并，取交集。

最后只得到P，Q。

 

参考b站的视频：老邱devil

下面是简单的例子：