命题逻辑中下列哪个公式表示“如果X，则Y除非Z”?
(“¬”是否定词，“ ^”是连词，“→”是蕴涵)
(A) (X ^¬Z)→Y
(B) (X ^ Y)→¬Z
(C) (X→(Y ^¬Z)
(D) (X→Y(^¬Z)答案： (A)
说明： “如果X则Y除非Z，否则Y”的意思是，如果Z不出现，则X表示Y，即¬ \ negZ → \ to(X → \ toY)，相当于Z ∨ \ vee(X → \ toY)(因为P → \ toQ≡ ¬ \ negP ∨ \ veeQ)，它等效于Z ∨ \ vee( ¬ \ negX ∨ \ veeY)。现在，我们可以研究与此匹配的选项。所以选项(a)是(X ∧¬ \ wedge \ negZ) → \ toY = ¬ \ neg((X ∧¬ \ wedge \ negZ)) ∨ \ veeY =( ¬ \ negX ∨ \ veeZ) ∨ \ veeY，它与我们的表达式匹配。因此，选项A是正确的。
资料来源：http://www.cse.iitd.ac.in/~mittal/gate/gate_math_2002.html这个问题的测验