Verify if the proposition [~p ∧ (p∨q)] → q is a tautology, contradiction or neither.
| p | q | p∨q | NP | Nq | Np ∧ Nq | (p∨q) ∧(Np ∧Nq) | | T | T | T | F | F | F | F | | T | F | T | F | F | F | F | | F | T | T | T | F | F | F | | F | F | F | T | T | T | F |
last column we conculde that it is a contradiction
