标签：在逻辑函数中，约束项是不可能或不允许出现的变量取值组合，其值总是等于