Advertisements
Advertisements
Question
Prepare truth table for the statement pattern `(p -> q) ∨ (q -> p)` and show that it is a tautology.
Chart
Solution
| 1 | 2 | 3 | 4 | 5 |
| p | q | `bb(p -> q)` | `bb(q -> p)` | `bb((p -> q) ∨ (q -> p))` |
| T | T | T | T | T |
| T | F | F | T | T |
| F | T | T | F | T |
| F | F | T | T | T |
Since last column has all T's, it is a tautology.
shaalaa.com
Is there an error in this question or solution?
