GATE | GATE-CS-2005 | Question 40
Let P, Q and R be three atomic prepositional assertions. Let X denote (P v Q) → R and Y denote (P → R) v (Q → R). Which one of the following is a tautology?
(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.
Attention reader! Don’t stop learning now. Practice GATE exam well before the actual exam with the subject-wise and overall quizzes available in GATE Test Series Course.
Learn all GATE CS concepts with Free Live Classes on our youtube channel.