Multiple choice

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?

  1. P1 is a tautology, but not P2

  2. P2 is a tautology, but not P1

  3. P1 and P2 are both tautologies

  4. Both P1 and P2 are not tautologies

Reveal answer Fill a bubble to check yourself
D Correct answer
Explanation

null