描述触发器的逻辑功能,通常采用下面三种方法:
1.状态转移真值表
为了表明触发器在输入信号作用下,触发器下一稳定状态(次态)Qn+1与触发器稳定状态(现态)Qn以及输入信号之间关系,可将上述对触发器分析的结论用表格形式来描述,如表13-1所示。该表称为触发器状态转移真值表,表13-2为表13-1的简化表。
2.特征方程(状态方程)
触发器的逻辑功能还可用逻辑函数表达式来描述。描述触发器逻辑功能的函数表达式称为特征方程或称为状态转移方程,简称为状态方程。由表13-1通过卡诺图13-3简化,可得
其中,称为约束条件。由于S和R同时为0又同时恢复为1时,状态Qn+1是不确定的。为了获得确定的Qn+1,输入信号S和R应满足。