Which of the following is wrong?
p∨~p a tautology
~(~p)↔p is a tautology
p∧~p is a contradiction
((p∧q)→q)→p is a tautology
The truth value of ~(~p)↔pa p as follow
Since, last column of above truth table contains only T.
Hence, ~(~p)→p is a tautology.