目录
1 约束项、任意项和无关项
1.1 约束项
如何理解约束项?下面举一个实际的例子。例如,在一个水槽中有三个水位检测元件A、B、C,如果水位低于水位监测元件时,水位检查元件为低电平,水位高于检测元件时,此时为高电平。(本实例参考了阎石主编的《数字技术基础》(第六版)中的实例) 参考图如下所示:

和
表示的是
和
的启动控制信号,当水位低于A时,此时A=0、B=0、C=0。两个水泵
和
全部打开,即
=1、
=1;当水位高于A低于B时,此时A=1、B=0、C=0,大水泵
打开,小水泵
关闭,即
=1、
=0;当水位高于B低于C时,此时A=1、B=1、C=0,大水泵
关闭,小水泵
打开,即
=0、
=1,当水位高于C时,此时A=1、B=1、C=1,两个水泵
和
全部关闭。
可以看到,此时只有四种情况。列出真值表得: