离散数学数理逻辑的一个题目
某电路中有一个灯泡和三个开关A,B,C.已知在且仅在下述四种情况下灯亮:
(1)C的扳键向上,A,B的扳键向下.
(2)A的扳键向上,B,C的扳键向下.
(3)B,C的扳键向上,A的扳键向下.
(4)A,B的扳键向上,C的扳键向下.
设F为1表示灯亮,p,q,r分别表示A,B,C的扳键向上.
(a)求F的主析取范式.
(b)在联结词完备集{┐,∧}上构造F.
(c)在联结词完备集{┐,→,}上构造F.