3.4.2 时序逻辑系统