rs触发器的状态方程