rs触发器的状态方程共1篇