6 - 时序逻辑