描述触发器的逻辑功能，通常采用状态转移真值表、特征方 、。