如果两个时序逻辑的状态转换关系以及所选择的触发器都相同，则其逻辑图也相同。