令a(x，y)，b(x，y)和c(x，y)是三个从变量中选择变量x和y的语句。考虑以下语句：
(∃x)(∀y)[(a(x，y)∧b(x，y))∧c(x，y)]
以下哪一项等效?
(A) (∀x)(∃y)[(a(x，y)∨b(x，y))→c(x，y)]
(B) (∃x)(∀y)[(a(x，y)∨b(x，y))∧¬c(x，y)]
(C) ¬(∀x)(∃y)[(a(x，y)∧b(x，y))→c(x，y)]
(D) ¬(∀x)(∃y)[(a(x，y)∨b(x，y))→c(x，y)]答案： (C)
说明：选项(C)是
=¬(∀x)(∃y)[(a(x，y)∧b(x，y))→c(x，y)]
=¬(∀x)(∃y)[a∧b→c]
=¬(∀x)(∃y)[(ab)’+ c]
=∃x∀y [(ab)’+ c]’
=∃x y y [abc’]
=∃x y y [a∧b∧c¬c]
与给定的表达式相同。
(∃x)(∀y)[(a(x，y)∧b(x，y))∧c(x，y)]
这个问题的测验