数学逻辑：分析图4-1所示的逻辑功能，写出电路的激励方程、输出方程和次态方程。

状态方程是时序逻辑电路进行状态转换时的触发器相关条件和转换结果（次态）。根据逻百辑电路图上所画的触发器各控制端连线的情况，先写出“驱动方程”，将“驱动方程”代入触发器的“特性方程”，就得到了“状态转换方程”，简称“状态方程”。

输出方程：Y = Q01 Q02 (Q03)'；

驱动方程：D3 =（Q02）＇；D2 =（Q01）＇；D1 = Q03 + Q01 （Q02）＇；

状态方程：Qn+1 = D；

状态方程

状态方程是指刻画系统输入和状态关系的表达式。状态向量所满足的向量常微分方程称为控制系统的状态方程。状态方程是控制系统数学模型的重要组成部分。

以传递函数为基础的经典控制理论的数学模型适应当时手工计算的局限，着眼于系统的外部联系，重点为单输入－单输出的线性定常系统。伴随计算机的发展，以状态空间理论为基础的现代控制理论的数学模型采用状态空间方程，以时域分析为主，着眼于系统的状态及其内部联系，研究的机电控制系统扩展为多输入－多输出的时变系统。

所谓状态变量是足以完全表征系统运动状态的最小个数的一组变量，而状态方程则是由系统状态变量构成的一阶微分方程组。

以上内容参考 百度百科——状态方程