设 P、Q 和 R 是三个原子介词断言。设 X 表示 (P v Q) → R，Y 表示 (P → R) v (Q → R)。以下哪一项是同义反复?
(A) X ≡ Y
(B) X → Y
(C) Y → X
(D) ¬ Y → X答案：(乙)
解释：
Answer : [ B ]
X = (P ⋁ Q) → R
= ~(P ⋁ Q) ⋁ R
= (~P ⋀ ~Q) ⋁ R
= (~P ⋁ R) ⋀ (~Q ⋁ R)
= (P → R) ⋀ (Q → R)
X → Y is true as (A ⋀ B) → (A ⋁ B) is always TRUE
but reverse implication is not always true. 这个问题的测验