“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