【摘要】：由有约束的变量所决定的逻辑函数，叫做有约束的逻辑函数。约束条件是由约束项加起来所构成的函数表达式。该逻辑函数Z的真值表如表2.13所示，图2.19是其化简卡诺图。函数Z的逻辑表达式可写成：图2.19Z的化简卡诺图2）具有约束的逻辑函数的化简因为约束项是不可能出现的项，因此在合并最小项时，或者作“0”，或者作“1”，都可以。显然，利用无关项化简逻辑函数，结果要简单。
1）约束、约束项、约束条件
约束是指逻辑函数的各个变量之间所具有的相互制约的关系。由有约束的变量所决定的逻辑函数，叫做有约束的逻辑函数。
约束项是指不会或不允许出现的变量取值组合所对应的最小项。
约束条件是由约束项加起来所构成的函数表达式。
【例2.10】 要求一个逻辑函数Z能够实现对用8421码表示的1位十进制数ABCD判断奇、偶。设十进制数为奇数时Z=1，为偶数时Z=0。
该逻辑函数Z的真值表如表2.13所示，图2.19是其化简卡诺图。其中1010～1111六个状态不可能出现，所以m10～m15是约束项，在真值表和卡诺图中用×表示。
表2.13 例2.10的真值表(www.xing528.com)
约束条件可写为∑d（10，11，12，13，14，15）=0，也可表示成AB+AC=0。函数Z的逻辑表达式可写成：
图2.19 Z的化简卡诺图
2）具有约束的逻辑函数的化简
因为约束项是不可能出现的项，因此在合并最小项时，或者作“0”，或者作“1”，都可以。例2.10中，若将m11，m13，m15当作“0”处理，如图2.19（a）所示，化简后的函数为
；若将m11，m13，m15当作“1”处理，如图2.19（b）所示，化简后的函数为Z=D。
显然，利用无关项化简逻辑函数，结果要简单。
免责声明：以上内容源自网络，版权归原作者所有，如有侵犯您的原创版权请告知，我们将尽快删除相关内容。
