The proposition
The proposition [(p Λ q) -> (p v q) v ∼p v q]
- A.
tautology
- B.
satisfiable but not tautology
- C.
a contradiction
- D.
none of the above
Attempted by 95 students.
Show answer & explanation
Correct answer: A
[(p ∧ q) → (p ∨ q)] ∨ ~p ∨ q
= ~(p ∧ q) ∨ (p ∨ q) ∨ ~p ∨ q
= (~p ∨ ~q) ∨ (p ∨ q) ∨ ~p ∨ q
= (~p ∨ p) ∨ (~q ∨ q) ∨ ~p ∨ q
= T ∨ T ∨ ~p ∨ q
= T