回复：[MA115] 老师，请教刷题时遇到了的一些问题

[ahsxzx...@sina.com]

如果P不是永假式，则P称为可满足式。是不是选B啊？

----- 原始邮件 -----
发件人："卡西莫多" <3590...@qq.com>
收件人："ma115at208" <ma115...@googlegroups.com>
主题：[MA115] 老师，请教刷题时遇到了的一些问题
日期：2013年01月08日 04点36分

[416005376]

重言式也是可满足式......

------------------ 原始邮件 ------------------

发件人: "卡西莫多"<3590...@qq.com>;

发送时间: 2013年1月8日(星期二) 凌晨4:36

收件人: "ma115at208";

主题: [MA115] 老师，请教刷题时遇到了的一些问题

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

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

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

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

--
您收到此邮件是因为您订阅了 Google 网上论坛的“MA115at208”论坛。
通过以下网址访问此论坛：http://groups.google.com/group/ma115at208?hl=zh-CN。