Miscellaneous Exercise 1 | Q 4.13 | Page 33
Determine whether the following statement pattern is a tautology, contradiction, or contingency.
[(p ∧ q) ∨ (~p)] ∨ [p ∧ (~ q)]
p | q | ~p | ~q | p∧q | (p∧q)∨(~p) | p∧~q | [(p∧q)∨(~p)]∨[p∧(~q)] |
T | T | F | F | T | T | F | T |
T | F | F | T | F | F | T | T |
F | T | T | F | F | T | F | T |
F | F | T | T | F | T | F | T |
All the truth values in the last column are T. Hence, it is a tautology.
![](https://blogger.googleusercontent.com/img/b/R29vZ2xl/AVvXsEjwYR83FQ1eS5r39umRggDbiCjrXxVD32kNd_wUlUS3_QXaD3aQT5ISsC70hOcAXD4YQ_UKagQgvn5dYSXwt22estO3e8S518K5XZMriMTvxubZfmHeLcglFboiBmuM430qriUST3RbqnY/s16000-rw/woman-97088_640.jpg)