第一章习题讲评(1).ppt_第1页
第一章习题讲评(1).ppt_第2页
第一章习题讲评(1).ppt_第3页
第一章习题讲评(1).ppt_第4页
第一章习题讲评(1).ppt_第5页
全文预览已结束

付费下载

下载本文档

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

文档简介

1、例题分析,例1 A= ( p q) (q p) (1) 该命题公式的主析取范式中含极小项的个数? (2) 该命题公式的主合取范式中含极大项的个数? (3) 该命题公式的成真赋值的个数? (4) 该命题公式的成假赋值的个数? 解答要点: 分别求出主析取范式和主合取范式 A(0,2,3),例2：给定命题公式A=(pq) r，该公式在下列全功能集中的表达形式 （1） , （2） ， （3） ， （4） (5) 分析：利用等值演算法消去联结词集中没有的联结词，其结果的形式可能不唯一。 A(p q) r A (p q) r) A (p q) r A(pp) (q q) (r r) A(pq) r) (p

2、 q) r),例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为矛盾式，因而规定矛盾式的主析取范式为0是合理的，保证任何命题公式都存在并且是唯一的与这等值的主析取范式。 （4）错误。若A的主合取范式中不含任何极大项，说明A无成假赋值，因而A为重言式，重言式怎能与0等值？它只能与1等值，因而规定重言式的主合取范式为1，这也保证了任何命题公式都存在且唯一的主合取范式与之等值。,例4. 已知命题公式A含3个命题变项，其成真赋值为000，010，100，110，求A的主析取范式和主合取范式。 答案： 主析取范式为m0 m2m4 m6 主合取范式为M1 M3 M5 M7 分析：公式的每个成真赋值对应主析取范式中的唯一的一个极小项，公式中的每个成假赋值对应主合取范式中的唯一的一个极大项。,例5 设p : 42将下面命题符号化，并讨论命题的真值。 （1）只要 42 （2）只要 42 （4）只有42 （6）43仅当32 （7） 42 答案： （1）p

人人文库> 全部分类> 教育资料 > 考试试卷

温馨提示

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

最新文档

评论

0/150

提交评论