UGC-NET | UGC-NET CS 2017 Nov – III | Question 58

“If X, then Y unless Z” is represented by which of the following formulae in propositional logic?
(A) (X ∧ Y) → ¬ Z
(B) (X ∧ ¬ Z) → Y
(C) X → (Y ∧ ¬ Z)
(D) Y → (X ∧ ¬ Z)


Answer: (B)

Explanation: If X then Y is represented by X → Y one more condition is unless Z, it will be included in X, so X then Y unless Z is represented by (X ^ ¬Z) → Y.
So, option (B) is correct.

Quiz of this Question



My Personal Notes arrow_drop_up


Article Tags :

Be the First to upvote.


Please write to us at contribute@geeksforgeeks.org to report any issue with the above content.