逻辑函数中的约束和约束项的利用

一、什么叫约束在实际的逻辑问题中,决定某一逻辑函数的各个逻辑变量之间,往往具有一定制约关系,我们把这种制约关系叫约束。例如,设在十字路口的交通指挥灯,红灯亮表示不通行,绿灯亮表示可通行,黄灯亮表示车辆停。各种车辆是否要在路口停车就由三种灯的“亮”和“灭”来控制着。如果用逻辑变量Z表示车辆停“1”或开“0”;用逻辑变量A、B、C分别表示红、绿、黄灯的亮“1”、或灭“0”,则变量Z是变量A、B、C的逻辑函数。表示为:Z=F(A.B.C)