表4-2 简化真值表 R Q+1 Q 00 01 11 10 0 0 0 0 0 1 0 1 1 0 0 不定 图4-3基地触发器卡诺图 2.特征方程（状态方程） 触发器的逻辑功能还可用逻辑函数表达式来描述。描述触发器的逻辑功能的函数表达式 称为特征方程或称状态转移方程，简称状态方程。由表4-1通过卡诺图4-3简化，可得 Qn+1=S+Rom=+Rom (4-3) 1S+R=1 其中，5+R=1称为约束条件。因为5和R同时为0又同时恢复为1时，状态Q+1是不确定