in Unknown Category edited by
385 views
1 vote
1 vote

“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)$
in Unknown Category edited by
by
385 views

2 Comments

is it B?
0
0
Can u Explain how ??
0
0

2 Answers

0 votes
0 votes
0 votes
0 votes
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)
Answer:

Related questions