分析同步逻辑时，把上一个时钟周期时的状态看成是逻辑输入的一部分，然后用卡诺图化简。
Q(n+1)=SR'+S'R'D（CP上升）。
Qn=SR'+QnS'R'（只有列表）。
查真值表，Preset为0，Clear为1时，Q为1；Preset为1，Clear为0时Q为0；Preset 和 Clear 皆为0 非法；Preset 和 Clear 皆为1 是常态。Q非当然是Q的相反值了。
扩展资料
触发器可通过数据库中的相关表实现级联更改，不过，通过级联引用完整性约束可以更有效地执行这些更改。触发器可以强制用比CHECK约束定义的约束更为复杂的约束。
与 CHECK 约束不同，触发器可以引用其它表中的列。例如，触发器可以使用另一个表中的 SELECT 比较插入或更新的数据，以及执行其它操作，如修改数据或显示用户定义错误信息。
触发器也可以评估数据修改前后的表状态，并根据其差异采取对策。一个表中的多个同类触发器（INSERT、UPDATE 或 DELETE）允许采取多个不同的对策以响应同一个修改语句。
在分析同步逻辑时，将最后一个时钟周期中的状态视为逻辑输入的一部分，然后使用卡诺图进行简化。
Q（n + 1）= SR'+ S'R'D（CP上升）。
Qn = SR'+ QnS'R'（仅列出）。
检查真值表，预设为0，清除为1，Q为1；预设为1，清除为0，Q为0；预设和清除均为0非法；预设和清除为1是正常的。Q非当然是Q的相反值了。
扩展资料：
触发器可以通过数据库中的相关表来实现级联更改，但是级联引用完整性约束可以更有效地执行这些更改。触发器可以执行比CHECK约束所定义的约束更复杂的约束。
与CHECK约束不同，触发器可以引用其他表中的列。例如，触发器可以在另一个表中使用SELECT来比较插入或更新的数据，并执行其他操作，例如修改数据或显示用户定义的错误消息。
触发器还可以在数据修改之前和之后评估表状态，并根据它们之间的差异采取对策。表中的多个相同类型的触发器（INSERT，UPDATE或DELETE）允许对同一修改语句采取多种不同的对策。
