6.5.2 带有参数的组合逻辑电路建模