题目
某电路中有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) -T → -S (3) T → -X，X → -T (4) Y且Z → W
第二步：写逆否公式，原命题成立则逆否命题必然成立，(1') -X → -W (2') S → T (3') X → -T，T → -X (4') -W→ -Y或-Z
第三步：代入初始条件进行推导，现在接通S和Z，由(2')式得T必然接通，由(3)式得X必然断开，由(1')式得W必然断开，由(4')式得Y和Z至少一个断开，得出-Y（注意：原命题和逆否命题等价，所以每个条件选一个用一次就行了）
第四步：得出结论，于是正确答案是S、T、-W、-X、-Y、Z，选A
帖子还没人回复快来抢沙发