老师，请教刷题时遇到了的一些问题

[卡西莫多]

  就是历届经常考的一道选择题：

  可满足公式的否定一定是：

A.重言式  B.矛盾式  C.可满足式  D.以上都不对

好几套题的答案都是D，请问是为什么呢？可满足公式f(p1,p2。。。,pn)=T or F那么否定应该满足F or T 才对啊。