GATE | CS | 2002 | Discrete Mathematics | Logic | Question 8

Last Updated :
Discuss
Comments

"If X, then Y unless Z" is represented by which of the following formulae in propositional logic? ("¬" is negation "^" is conjunction, and "→" is implication)

(X ^ ¬ Z) → Y

(X ^ Y) → ¬ Z

(X → (Y ^ ¬ Z)

(X → Y(^ ¬ Z)

This question is part of this quiz :

Propositional and First Order Logic.,GATE-CS-2002,Propositional Logic PYQ Quiz GATE CS
Tags:
Engineering Mathematics Questions
GATE
Discrete Mathematics
Share your thoughts in the comments