385 views

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

1. $(X \wedge Y) \rightarrow \neg Z$
2. $(X \wedge \neg Z) \rightarrow Y$
3. $X \rightarrow (Y \wedge \neg Z)$
4. $Y \rightarrow (X \wedge \neg Z)$

is it B?
Can u Explain how ??

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)
by

1 vote