第一范文网 - 专业文章范例文档资料分享平台

离散数学习题答案5.13

来源:用户分享 时间:2026/9/2 16:36:39 本文由loading 分享 下载这篇文档手机版
说明:文章内容仅供预览,部分内容可能不全,需要完整文档或者需要复制内容,请下载word后使用。下载word有问题请添加微信号:xxxxxxx或QQ:xxxxxx 处理(尽可能给您提供完整文档),感谢您的支持与谅解。

(2)

?((p?q)?p)??(?(p?q)?p)?(p?q)??p?F所以(2)为永假式 (3)

((p?q)?(q?p))?(p?q)?(p?q)?(p?q) ?T所以(3)为永真式 (4)

(?p?q)?(q??p)?(p?q)?(?q??p)??(p?q)?(?q??p)

??((p?q)?(p?q))??(p?q)所以(4)为一般式

习题1.4

1.写出与公式?(p?q),(q?p)?q,?((q?p)?q)分别等值的三个公

式A1,A2,A3,要求它们的联结词集合为??,??;再将A1,A2,A3等值地换成仅含联结词“?”的形式. 答案:

?(p?q)??(?p?q)?p??q :A1;

(q?p)?q??(q?p)?q??(?q?p)?q?(q??p)?q?q : A2; ?((q?p)?q)??(?(q?p)?q)?(q?p)??q?(?q?p)??q??q:A3;

A1:p??q?p?(q?q)?(p?(q?q))?(p?(q?q))。

2.已知公式(p?r)?(q?r)?(p?q)?r,试将此两公式化成仅含联结词

“?,?,?”的形式,分别写出它们的对偶式,并证明其对偶式也等值.

(1)

(p?r)?(q?r)?(?p?r)?(?q?r) ??p??q?r(p?q)?r??(p?q)?r ??p??q?r两式的对偶式都为:?p??q?r,因对偶式一样所以对偶式等值

习题1.5 1.求下列命题公式的析取范式.

(1)(p?q)??r (2)p?(q?r) (3)(?p?q)?r 答案:

(1)

(p?q)??r??p?q?r

(2)

p?(q?r)?p?((q?r)?(r?q))?p?((?q?r)?(?r?q)) ??p?((?q?r)?(?r?q))??p?(?q??r)?(q?r)(3)

(?p?q)?r??(?p?q)?r ?(p??q)?r2.求下列命题公式的主析取范式. (1)(p?q)?(p??q) (2)p?(q?r)

(3)?(p?q)?(q?r) 答案: (1)

(p?q)?(p??q)?(?p?q)?(?p??q) ?T所以其主析取范式为:(p?q)?(p??q)?(?p?q)?(?p??q)

(2)

p?(q?r) ?p?((q?r)?(r?q))?p?(?q?r)?(?r?q)?p?((?q??r)?(q?r))?(p??q??r)?(p?q?r)

(3)

?(p?q)?(q?r)??(?p?q)?(?q?r) ?(p??q)?(?q?r)?((p??q)?(r??r))?(?q?r)?(p?q?r)?(p??q?r)?(p??q??r)?(?p??q?r)?(?p??q??r)3.求下列命题公式的合取范式. (1)p?(q??p) (2)(p??q)?r (3)(?p?q)?r 答案: (1)

p?(q??p)

?p?(?q??p)?(p??p)?(p??q)

?T?(p??q)

?p??q

(2)

(p??q)?r?((p??q)?r)?(r?(p??q))?(?(?p??q)?r)?(?r?(?p??q)) ?((p?q)?r)?(?r??p??q)?(p?r)?(q?r)?(?p??q??r)(3)

(?p?q)?r??(?p?q)?r??(p?q)?r

?(?p??q)?r?(?p?r)?(?q?r)4.求下列命题公式的主合取范式. (1)q?(p??q) (2)?p?(q?r) (3)(p?q)?(r?q) 答案: (1)

q?(p??q)?(q?(p??p))?(p??q)

?(p?q)?(?p?q)?(p??q)(2)

?p?(q?r)??p??q?r

(3)

(p?q)?(r?q)?(?p?q)?(?r?q)?((?p?q)?(r??r))?((p??p)?(q??r)) ?(?p?q?r)?(?p?q??r)?(p?q??r)?(?p?q??r)?(p?q??r)?(?p?q?r)?(?p?q??r)5.已知A、B、C、D是含命题变项p,q,r的公式,且

(1)A是永真式; (2)B是永假式; (3)C的成真赋值为000,010,101;(4)D的成假赋值为011,100,101,010.求?A,?B,?C,?D的成真赋值和成假赋值,并写出A、B、C、D的极小

搜索更多关于: 离散数学习题答案5.13 的文档
离散数学习题答案5.13.doc 将本文的Word文档下载到电脑,方便复制、编辑、收藏和打印
本文链接:https://www.diyifanwen.net/c2gei1384qq8ojis8frfm_2.html(转载请注明文章来源)
热门推荐
Copyright © 2012-2023 第一范文网 版权所有 免责声明 | 联系我们
声明 :本网站尊重并保护知识产权,根据《信息网络传播权保护条例》,如果我们转载的作品侵犯了您的权利,请在一个月内通知我们,我们会及时删除。
客服QQ:xxxxxx 邮箱:xxxxxx@qq.com
渝ICP备2023013149号
Top