目录(1)逻辑方程式(2)转换表)3)状态表)4)状态图)5)时序图
)1)逻辑方程
最核心的表示
激励方程：
用逻辑函数表达式表示触发器的输入。
输出方程式
输入和触发器输出表示电路的最终输出。
输出方程和驱动方程是组合逻辑电路
变换方程：
将激励方程分别带入触发器的特性方程中得到。
变换方程是时序逻辑电路
)2)转换表
注意：
y是现在的输出x是cmdpy输出，所以排成一列。 将当前状态作为输入，将下一状态作为输出(3)状态表
)4)状态图的最直观显示
注意：
写清高低位输出是现状的函数，进入圆圈里。 )5)时序图可以用任何表达来描绘时序图。