“如果X，则Y，除非Z”在命题逻辑中由以下哪个公式表示?
(“¬”是否定，“^”是连词，“→”是蕴涵)
(A) (X ^ ¬ Z) → Y
(B) (X ^ Y) → ¬ Z
(C) (X → (Y ^ ¬ Z)
(D) (X → Y(^ ¬ Z)答案：(一)
说明：语句“If X then Y除非Z”的意思是，如果Z不出现，X隐含Y即¬Z→(X→Y)，相当于Z∨(X→Y)
(因为 P→Q ≡ ¬P ∨ Q)，则等价于 Z ∨ (¬X ∨ Y)。现在我们可以查看与此匹配的选项。
所以选项 (a) 是 (X∧¬Z)→Y = ¬( (X∧¬Z) ) ∨ Y = (¬X∨Z) ∨ Y，它符合我们的表达式。所以选项(A)是正确的。
资料来源：http://www.cse.iitd.ac.in/~mittal/gate/gate_math_2002.html
这个问题的测验