Consider the following propositional statements: P1 : ((A ∧ B) → C)) ≡ ((A →…
GATE · 2006 · CS
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
Attempted by 148 students.
Sign up free to check your answer
Sign up freeLoading lesson…