(函数来自 pyomo.core.expr.logical_expr)
pyomo.core.expr.logical_expr
创建一个新的ExactlyExpression
要求恰好有n个参数为True,以使表达式为True
用法: exactly(2, m.Y1, m.Y2, m.Y3, …)