3.封闭性。对简化后的最小化状态表中的 每个状态而言,在任何一种输入情况下,其次态 只能是简化后状态中的一个(而不是多个)。对 完全确定的时序电路,封闭性是自动满足的。而 对不完全确定的时序电路,不合理的选择简化后 的状态,将导致不满足封闭性。 完全确定的时序电路状态化简: 方法1:蕴含图法。 方法2:分隔法。 蕴含图法化简: 原理与步骤: 1.原始状态集中寻找所有的状态等价对; 2.组合出最大等价类集; 3.状态合并,构成最简状态集; 4.由最简状态集导出最小化状态图和表。 关键步骤是从原始状态集中寻找所有的等 价对:1.状态组对,2.等价判定。 组对易,判定难,利用推论。 判定等价就是考察在任一相同输入作用下3． 封闭性。对简化后的最小化状态表中的 每个状态而言，在任何一种输入情况下，其次态 只能是简化后状态中的一个（而不是多个）。对 完全确定的时序电路，封闭性是自动满足的。而 对不完全确定的时序电路，不合理的选择简化后 的状态，将导致不满足封闭性。 完全确定的时序电路状态化简： 方法 1：蕴含图法。 方法 2：分隔法。 蕴含图法化简： 原理与步骤： 1．原始状态集中寻找所有的状态等价对； 2．组合出最大等价类集； 3．状态合并，构成最简状态集； 4．由最简状态集导出最小化状态图和表。 关键步骤是从原始状态集中寻找所有的等 价对：1.状态组对，2.等价判定。 组对易，判定难，利用推论。 判定等价就是考察在任一相同输入作用下