Q1.8

MCQ1 mark, −0.25

"If $X$ then $Y$ unless $Z$ " is represented by which of the following formulas in propositional logic? (" $\neg$ " is negation, " $\land$ " is conjunction, and " $\rightarrow$ " is implication)

(A)

$(X\land \neg Z) \rightarrow Y$

(B)

$(X \land Y) \rightarrow \neg Z$

(C)

$X \rightarrow(Y\land \neg Z)$

(D)

$(X \rightarrow Y)\land \neg Z$

Loading…