关于数字逻辑次态循环证明的一个可能的解释

一开始学习次态循环，我就是不能理解为什么它是等效。在查看多种资料后，我有了自己的理解（cai xiang）。

次态循环是指次态之间的关系构成循环，并在另一组输入下次态和输出均相同。

 由隐含表，可知若次态SiSj等效，则SkSl等效并且有若SkSl等效，则SiSj等效。

但是这句话似乎只能说明SiSj等效是SkSl等效的充要条件，不能说明它们确实等效。

我的看法是，虽然不一定等价，但是如果等价，那么可以减少触发器的使用，所以认为等价。

自学这门课确实好难，有错误希望大家指正，大家上课一定要好好听课（哭唧唧）。