先写驱动方程,即求触发器的输入;再写状态方程,即求触发器的输出;最后求输出方程。描述时序逻辑电路的逻辑的方法除了这组方程,还可以是状态转换表、状态转换图、状态机流程图(SM图/ASM图)和时序图状态转换表:任意一组取值作为初态,得到次态,以次态作为新的初态,一直下去,以真值表的形式给出:状态转换图:状态转换流程图:时序图: