.数字逻辑课件第7章状态化简.pptVIP

2）做完全图求最大相容类： 最大相容类有： {A，B，D}， {A，C，E}， {A，C，D}。 相容对：（A，B），（A，C），（A，D），（A，E），（B，D），（C，D），（C，E）。 * 3）做闭合覆盖表求最小闭合覆盖： 覆盖 闭合 相容类 根据最小覆盖下的次态转移，进行闭合检查： X=0时，（A，B，D）次态转移为AC，属于（A,C,E）; （A，C，E）次态转移为AD，属于（A,B,D）； X=1时，均为单态转移，属于最小覆盖中的一个相容类。 所以，最小闭合覆盖成立。 由于状态B仅属于（A,B,D） 状态E仅属于（A,C,E） 选择（A，B，D）和（A，C，E）为最小覆盖。 * 4）画出最简状态表： 令：S1=（A，B，D）， S2=（A，C，E） 最简状态表 原始状态表 * 例2：试化简图示的原始状态表 解：1）画隐含表求相容对： 列出相容对： （A，B），（A，C），（A，D），（A，E），（B，C），（C，D），（D，E）。 * 2）做完全图求最大相容类： 最大相容类有： （A，B，C）， （A，C，D）， （A，D，E）。 * 3）做闭合覆盖表求最小闭合覆盖： 覆盖 闭合 相容类 选择（A，B，C）和（A，D，E）为最小覆盖，检查次态转移：X=0时，（A，B，C）转移为DE，属于（A，D，E）；但（A，D，E）转移为CD，