将一个约束项写人逻辑函数式或不写入逻辑函数式，对函数的输出有影响