Prove that: [¬ p ∧ (p ∨ q)] → q is a tautology.
Answers
Answered by
1
p | q | ~p | pvq | ~p*(pvq) | [~p*(pvq)]-> q
T T F T F T
T F F T F T
F T T T T T
F F T F F T
It is a tautology
Hence proved
Attachments:
Similar questions