The binary operation □ is defined as follows

P Q P□Q
T T T
T F T
F T F
F F T

(A) $¬Q&#9633¬P$

(B) $P&#9633¬Q$

(C) $¬P&#9633Q$

(D) $¬P&#9633¬Q$

Solution by Happy Mittal

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 $¬Q$ instead of $Q$. So $P ∨ Q$ is equivalent to $P&#9633¬Q$, and therefore, option (B) is correct.




blog comments powered by Disqus

The binary operation □ is defined as follows

P Q P□Q
T T T
T F T
F T F
F F T

(A) $¬Q&#9633¬P$

(B) $P&#9633¬Q$

(C) $¬P&#9633Q$

(D) $¬P&#9633¬Q$

Solution by Happy Mittal[edit]

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 $¬Q$ instead of $Q$. So $P ∨ Q$ is equivalent to $P&#9633¬Q$, and therefore, option (B) is correct.




blog comments powered by Disqus