Mathematical Logic And Boolean Algebra Question 80
Question: $ \tilde{\ }(p\Rightarrow q)\Leftrightarrow \tilde{\ }p\vee \tilde{\ }q $ is
Options:
A) A tautology
B) A contradiction
C) Neither a tautology nor a contradiction
D) Cannot come to any conclusion
Show Answer
Answer:
Correct Answer: C
Solution:
[c] $ p $ $ q $ $ p\Rightarrow q $ $ \tilde{\ }(p\Rightarrow q) $ $ \tilde{\ }p $ $ \tilde{\ }q $ $ \tilde{\ }p\vee \tilde{\ }q $ $ \tilde{\ }(p\Rightarrow q) $ $ \Leftrightarrow \tilde{\ } $ $ p\vee \tilde{\ }q $ T T T F F F F T T F F T F T T T F T T F T F T F F F T F T T T F Last column shows that result is neither a tautology nor a contradiction.