Which of the followings are tautology? A. (p∨r)→p B. p→(p∧r) C. ~p→(p→r) D. (p∧r)→(p→r) E. ~(p→r)→p
\((p\lor r)\to p\) fails when p is false and r is true, and \(p\to(p\land r)\) fails when p is true and r is false, so A and B are not tautologies. \(\lnot p\to(p\to r)\) is…
Choose your answer
Which of the followings are tautology?
- A. (p∨r)→p
- B. p→(p∧r)
- C. ~p→(p→r)
- D. (p∧r)→(p→r)
- E. ~(p→r)→p
Answer and explanation
Correct answer D
fails when p is false and r is true, and fails when p is true and r is false, so A and B are not tautologies. is always true, because whenever holds, p is false and is true; is always true, because if holds then r is true. is equivalent to , which implies p, so E is a tautology too, giving C, D and E only.
Practice for these exams
-
UGC NET Computer Science and Applications