You do not have permission to edit this page, for the following reason:
You can view and copy the source of this page.
Templates used on this page:
Return to GATE2009 q24.
The binary operation □ is defined as follows
$P$ | $Q$ | $P□Q$ |
---|---|---|
T | T | T |
T | F | T |
F | T | F |
F | F | T |
Which one of the following is equivalent to $P ∨ Q$?
(A) $\neg Q □ ¬P$
(B) $P□\neg Q$
(C) $\neg P□Q$
(D) $\neg P□ \neg Q$
If we compare column of $P□ Q$ in table with $P ∨ Q$, we need T in $3^{rd}$ row of table and F in the fourth row, and for that we need $\neg Q$ instead of $Q$. So $P ∨ Q$ is equivalent to $P□\neg Q$.