# GATE | GATE-CS-2006 | Question 27

• Difficulty Level : Easy
• Last Updated : 11 Oct, 2021

Consider the following propositional statements:
P1 : ((A ∧ B) → C)) ≡ ((A → C) ∧ (B → C))
P2 : ((A ∨ B) → C)) ≡ ((A → C) ∨ (B → C))
Which one of the following is true?
(A) P1 is a tautology, but not P2
(B) P2 is a tautology, but not P1
(C) P1 and P2 are both tautologies
(D) Both P1 and P2 are not tautologies

Explanation: The easiest way to solve this question by creating truth tables for the expressions given. Note that P1 will be a tautology if truth table for left expression is exactly same as truth table for right expression. Same holds for P2 also.

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.

ABC((A ∧ B) → C))((A → C) ∧ (B → C))((A ∨ B) → C))((A → C) ∨ (B → C))
000TTTT
001TTTT
010TFFT
011TTTT
100TFFT
101TTTT
110FFFF
111TTTT

So as we see from table, none of the P1 or P2 are tautologies, so option (D) is correct.

My Personal Notes arrow_drop_up