以下哪个复合命题不是重言式?
(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 的情况F 和 q 是 T。
(D) (PVQ) Λ (PVR) ≡ PV (Q Λ R) = (PVQ) Λ (PVR) → PV (Q Λ R) 为真，是一个分配律。
选项(C)是正确的。
这个问题的测验