A) \[\tilde{\ }[p\vee (\tilde{\ }q)]\equiv (\tilde{\ }p)\wedge q\]
B) \[[p\vee q]\vee (\tilde{\ }p)\]is a tautology
C) \[[p\wedge q]\wedge (\tilde{\ }p)\]is a contradiction
D) \[\tilde{\ }[p\wedge (\tilde{\ }p)]\]is a tautology
E) \[\tilde{\ }(p\vee q)\equiv (\tilde{\ }p)\vee (\tilde{\ }q)\]
Correct Answer: E
Solution :
\[p\] | \[q\] | \[\tilde{\ }p\] | \[\tilde{\ }q\] | \[p\vee (\tilde{\ }q)\] | \[(\tilde{\ }p)\wedge q\] | \[p\vee q\] | \[\tilde{\ }(p\vee q)\] | \[\tilde{\ }(p)\vee (\tilde{\ }q)\] | \[(p\vee q)\vee (\tilde{\ }p)\] |
T | T | F | F | T | F | T | F | F | T |
F | T | T | F | F | T | T | F | T | T |
T | F | F | T | T | F | T | F | T | T |
You need to login to perform this action.
You will be redirected in
3 sec