以下哪个复合命题不是重言式?
(A) ((p→q)∧(q→r))→(p→r)
(B) ((p∧q)∧(q∧r))→(p∧r)
(C) ((p⊕q)∧(q⊕r))→(p⊕r)
(D) (PVQ)Λ(PVR)→PV(QΛR)答案： (C)
说明： (A)((p→q)∧(q→r))→(p→r)= pq’+ qr’+ p’+ r = q’+ q + p’+ r = True
(B)((p∧q)∧(q∧r))→(p∧r)= p’+ q’+ r’+ pr = p’+ q’+ r’+ r = True
(C)((p⊕q)∧(q⊕r))→(p⊕r)不是重言式，如p和r为T且q为F或p和r为F和q是T。
(D)(PVQ)Λ(PVR)≡PV(QΛR)=(PVQ)Λ(PVR)→PV(QΛR)为真，并且它是分配律。
选项(C)是正确的。
这个问题的测验