RS触发器的特性方程（又称状态方程）是描述其次态（(Q_{n+1})）与当前状态（(Q_n)）及输入信号（(R)、(S)）之间关系的逻辑表达式。其最简形式如下：

特性方程： [ Q_{n+1} = S + \overline{R} \cdot Q_n
]

约束条件： [ R \cdot S = 0 \quad \text{（或写作 } R + S = 1\text{）} ]

关键说明：

1. 输入定义：

   • (S)（置位端）：当 (S=1) 时，强制次态 (Q_{n+1} = 1)。
   • (R)（复位端）：当 (R=1) 时，强制次态 (Q_{n+1} = 0)。
   • (Q_n)：当前状态（现态）。

2. 方程含义：

   • 若 (S=1)，则 (Q_{n+1} = 1)（置位优先，不受 (Q_n) 影响）。
   • 若 (S=0)，则 (Q_{n+1} = \overline{R} \cdot Q_n)：
     • 当 (R=0) 时，(Q_{n+1} = Q_n)（保持状态不变）。
     • 当 (R=1) 时，(Q_{n+1} = 0)（复位）。

3. 约束条件：

   • (R \cdot S = 0) 表示 禁止 (R=1) 且 (S=1) 同时有效。
     • 若违反此约束（(R=S=1)），输出 (Q) 和 (\overline{Q}) 均可能为 (1)（非互补），导致逻辑混乱。

功能表（辅助理解）：

核心要点：通过约束输入避免 (R=S=1)，确保触发器行为确定且稳定。