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