Skip to content
Related Articles

Related Articles

Improve Article
Save Article
Like Article

GATE | GATE-CS-2005 | Question 40

  • Last Updated : 11 Oct, 2021

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)


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. 

Quiz of this Question

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.

My Personal Notes arrow_drop_up
Recommended Articles
Page :

Start Your Coding Journey Now!