GATE | GATE-CS-2002 | Question 8
\”If X, then Y unless Z\” is represented by which of the following formulae in propositional logic? (\”¬\” is negation \”^\” is conjunction, and \”→\” is implication)
(A)
(X ^ ¬ Z) → Y
(B)
(X ^ Y) → ¬ Z
(C)
(X → (Y ^ ¬ Z)
(D)
(X → Y(^ ¬ Z)
Answer: (A)
Explanation:
The statement \”If X then Y unless Z\” means, if Z doesn\’t occur, X implies Y i.e. ¬Z→(X→Y), which is equivalent to Z ∨ (X→Y) (since P→Q ≡ ¬P ∨ Q), which is then equivalent to Z ∨ (¬X ∨ Y). Now we can look into options which one matches with this. So option (a) is (X∧¬Z)→Y = ¬( (X∧¬Z) ) ∨ Y = (¬X∨Z) ∨ Y, which matches our expression. So option (A) is correct. Source: http://www.cse.iitd.ac.in/~mittal/gate/gate_math_2002.html
Quiz of this Question
Please comment below if you find anything wrong in the above post
Last Updated :
18 Jun, 2021
Like Article
Save Article
Share your thoughts in the comments
Please Login to comment...