Arjun Suresh (talk | contribs) |
Arjun Suresh (talk | contribs) |
||
| Line 21: | Line 21: | ||
| T | | T | ||
|} | |} | ||
| − | + | Which one of the following is equivalent to $P ∨ Q$? | |
(A) $\neg Q □ ¬P$ | (A) $\neg Q □ ¬P$ | ||
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 both F in $3^{rd}$ row of table, and for that we need $\negQ$ instead of $Q$. So $P ∨ Q$ is equivalent to $P□\negQ$, and therefore, option (B) is correct.
The binary operation □ is defined as follows
| $P$ | $Q$ | $P□Q$ |
|---|---|---|
| T | T | T |
| T | F | T |
| F | T | F |
| F | F | T |
(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 both F in $3^{rd}$ row of table, and for that we need $\negQ$ instead of $Q$. So $P ∨ Q$ is equivalent to $P□\negQ$, and therefore, option (B) is correct.
GATECSE