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.