第一章习题讲评PPT课件_第1页
第一章习题讲评PPT课件_第2页
第一章习题讲评PPT课件_第3页
第一章习题讲评PPT课件_第4页
第一章习题讲评PPT课件_第5页
已阅读5页，还剩1页未读， 继续免费阅读

下载本文档

版权说明：本文档由用户提供并上传，收益归属内容提供方，若内容存在侵权，请进行举报或认领

文档简介

1、西华大学 制作1例题分析例题分析例例1 a= ( p q) ( q p)(1) 该命题公式的主析取范式中含极小项的个数该命题公式的主析取范式中含极小项的个数?(2) 该命题公式的主合取范式中含极大项的个数该命题公式的主合取范式中含极大项的个数?(3) 该命题公式的成真赋值的个数该命题公式的成真赋值的个数?(4) 该命题公式的成假赋值的个数该命题公式的成假赋值的个数?解答要点解答要点: 分别求出主析取范式和主合取范式分别求出主析取范式和主合取范式a(0,2,3)西华大学 制作2例2：给定命题公式a=(pq) r，该公式在下列全功能集中的表达形式（1） , （2） ， （3） ， （4） (5)

2、分析：利用等值演算法消去联结词集中没有的联结词，其结果的形式可能不唯一。a(p q) ra (p q) r)a (p q) ra(pp) (q q) (r r)a(pq) r) (p q) r)西华大学 制作3例3：设a是含有n个命题变项的公式，判断下列结论的正误（1）若a的主析取范式中含2n个极小项，则a是重言式（2）若a的主合取范式中含2n个极大项，则a是矛盾式（3）若a的主析取范式中不含任何极小项，则a的主析取范式为0（4）若a的主合取范式中不含任何极大项，则a的主合取范式为0.分析（1）（2）显然正确（3）正确。若a的主析取范式中不含任何极小项，说明a无成真赋值，所以a为矛盾式，因而规

3、定矛盾式的主析取范式为0是合理的，保证任何命题公式都存在并且是唯一的与这等值的主析取范式。（4）错误。若a的主合取范式中不含任何极大项，说明a无成假赋值，因而a为重言式，重言式怎能与0等值？它只能与1等值，因而规定重言式的主合取范式为1，这也保证了任何命题公式都存在且唯一的主合取范式与之等值。西华大学 制作4例例4. 已知命题公式已知命题公式a含含3个命题变项，其成真赋值为个命题变项，其成真赋值为000，010，100，110，求，求a的主析取范式和主合取范式。的主析取范式和主合取范式。答案：答案：主析取范式为主析取范式为m0 m2m4 m6主合取范式为主合取范式为m1 m3 m5 m7分析：公式的每个成真赋值对应主析取范式中的唯一的一个极小项，分析：公式的每个成真赋值对应主析取范式中的唯一的一个极小项，公式中的每个成假赋值对应主合取范式中的唯一的一个极大项。公式中的每个成假赋值对应主合取范式中的唯一的一个极大项。西华大学 制作5例例5 设设p : 42将下面命题符号化，并讨论命题的真值。将下面命题符号化，并讨论命题的真值。（1）只要）只要 42（2）只要）只要 43，就有，就有32（3）只有）只有42（4）只有）只有43 ，才有，才有32（5）除非）除非42（6）43仅当仅

人人文库> 全部分类> 生活休闲 > 科普知识

温馨提示

  • 1. 本站所有资源如无特殊说明，都需要本地电脑安装OFFICE2007和PDF阅读器。图纸软件为CAD,CAXA,PROE,UG,SolidWorks等.压缩文件请下载最新的WinRAR软件解压。
  • 2. 本站的文档不包含任何第三方提供的附件图纸等，如果需要附件，请联系上传者。文件的所有权益归上传用户所有。
  • 3. 本站RAR压缩包中若带图纸，网页内容里面会有图纸预览，若没有图纸预览就没有图纸。
  • 4. 未经权益所有人同意不得将文件中的内容挪作商业或盈利用途。
  • 5. 人人文库网仅提供信息存储空间，仅对用户上传内容的表现方式做保护处理，对用户上传分享的文档内容本身不做任何修改或编辑，并不能对任何下载内容负责。
  • 6. 下载文件中如有侵权或不适当内容，请与我们联系，我们立即纠正。
  • 7. 本站不保证下载资源的准确性、安全性和完整性, 同时也不承担用户因使用这些下载资源对自己和他人造成任何形式的伤害或损失。

最新文档

评论

0/150

提交评论