电路中的约束方程：即电路中不能出现或存在的逻辑状态。如触发器的复位和置位信号是不能同时输入的，属于逻辑错误状态。

约束方程的理解：在建立系统模型时，系统的状态变量必须满足的一些条件所构成的方程，它是系统正常运行的基本条件。