Homework SourseLabel each of the following as Tautology Contradiction or Ne
Label each of the following as Tautology, Contradiction, or Neither (note: you MUST provide a truth table).
(pq) V ~(p q)
(pq) V r (r p) V q
~p(qp)
Solution
1) pq V ~(p<->q) is a Tautology and truth table is as below
2) (pq) V r (r p) V q is neither tautology nor contradiction
3) ~p(qp) is a contracdiction and truth table is as below
| p | q | pq | p<->q | ~(p<->q) | pqV~(p<->q) |
| F | F | F | T | F | T |
| F | T | F | F | T | T |
| T | F | F | F | T | T |
| T | T | T | T | F | T |
