问题
单项选择题
某电路中有S、T、W、X、Y、Z六个开关。使用这些开关必须满足下面的条件：
(1)如果W接通，则X也要接通。
(2)只有断开S，才能断开T。
(3)T和X不能同时接通，也不能同时断开。
(4)如果Y和Z同时接通，则W也必须接通。
如果现在同时接通S和Z，则以下哪项一定为真( )
A．T是接通状态并且Y是断开状态。
B．W和T都是接通状态。
C．T和Y都是断开状态。
D．X是接通状态并且Y是断开状态。
答案
参考答案：A
解析：[分析] 已知：
(1)W→X
(2)┐S←┐T
(3)T[*]┐X
(4)(Y∧Z)→W
(5) S
(6) Z
下面是推理过程：
(7)T ((1)(5)假言推理)
(8)┐X ((3)(7)等值推理)
(9)┐W ((1)(8)假言推理)
(10)┐(Y∧Z) ((4)(9)假言推理)
(11)┐Y∨┐Z ((10)德摩根律)
(11)┐Y ((6)(11)选言推理)
所以，正确答案是A。