JT(IT) 2018 PART-B Computer Science

Let P, Q and R be three atomic prepositional assertions, and

X : (P ∨ Q) → R
Y : (P → R) ∨ (Q → R)

Which one of the following is a tautology?