A) \[p\wedge (\tilde{\ }p)\] is a contradiction
B) \[(p\Rightarrow q)\Leftrightarrow (\tilde{\ }q\Rightarrow \tilde{\ }p)\] is a contradiction
C) \[\tilde{\ }(\tilde{\ }p)\Leftrightarrow p\] is a tautology
D) \[p\vee (\tilde{\ }p)\Leftrightarrow p\] is a tautology
Correct Answer: B
Solution :
[b] \[p\Rightarrow q\] is logically equivalent to \[\tilde{\ }p\Rightarrow \tilde{\ }q\] \[\therefore (p\Rightarrow q)\Leftrightarrow (\tilde{\ }q\Rightarrow \tilde{\ }p)\] is a tautology but not a contradiction.You need to login to perform this action.
You will be redirected in
3 sec