什么叫约束项,在卡诺图中如何用约束项化简逻辑函数