6.4.5 组合逻辑路径的约束