2.9 组合逻辑与时序逻辑混合表达