Open In App
Related Articles

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

Improve Article
Save Article
Like Article

“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

Last Updated : 21 Mar, 2018
Like Article
Save Article
Similar Reads