UGC NET CSE | November 2017 | Part 3 | Question: 58

Question

“If $X$, then $Y$ unless $Z$” is represented by which of the following formulae in propositional logic?

• A. $(X \wedge Y) \rightarrow \neg Z$
• B. $(X \wedge \neg Z) \rightarrow Y$
• C. $X \rightarrow (Y \wedge \neg Z)$
• D. $Y \rightarrow (X \wedge \neg Z)$

Comments

is it B?

---

Can u Explain how ??

Answer 1

https://gateoverflow.in/812/gate2002-1-8

Answer 2

Answer (2)

If X, then Y unless Z ie equivalent to : X -> (Z' -> Y).

Now, X -> (Z' -> Y)

= X -> (Z + Y)

= X' + Z + Y

This matches with option (2)