触发器的逻辑功能通常可用特征方程、功能真值表、状态图和（）四种方法来描述。