“If X then Y unless Z” is represented by which of the following formulas in…
GATE · 2002 · CS · Question 1 subparts
“If X then Y unless Z” is represented by which of the following formulas in prepositional logic? (“¬” is negation, “∧” is conjunction, and “→” is implication)
- A.
(X ∧ ¬Z) → Y
- B.
(X ∧ Y) → ¬Z
- C.
X → (Y ∧ ¬Z)
- D.
(X → Y) ∧ ¬Z
Attempted by 15 students.
Sign up free to check your answer
Sign up freeLoading lesson…