離散數(shù)學(xué)數(shù)理邏輯的一個題目
某電路中有一個燈泡和三個開關(guān)A,B,C.已知在且僅在下述四種情況下燈亮：
（1）C的扳鍵向上,A,B的扳鍵向下.
（2）A的扳鍵向上,B,C的扳鍵向下.
（3）B,C的扳鍵向上,A的扳鍵向下.
（4）A,B的扳鍵向上,C的扳鍵向下.
設(shè)F為1表示燈亮,p,q,r分別表示A,B,C的扳鍵向上.
（a）求F的主析取范式.
（b）在聯(lián)結(jié)詞完備集{┐,∧}上構(gòu)造F.
（c）在聯(lián)結(jié)詞完備集{┐,→, }上構(gòu)造F.