- 2
- 0
- 约1.78千字
- 约 52页
- 2021-10-18 发布于上海
- 举报
;;;;;;;;;;1.4 命题公式的范式
【习题5】两位同学同住一间宿舍。 宿舍照明电路按下述要求设计:
宿舍门口装一个开关??,两位同学的床头各自装一个开关??, ??。 当夜晚回宿舍时,拉一下开关??,室内灯点亮;上床后拉一下 开关??或??,室内灯熄灭;这样以后,拉一下??, ??, ??三个开关中
的任何一个,室内灯亮。如果室内灯??亮和灭分别用1和O表示, 试求出??用??, ??, ??表示的主析取范式和主合取范式。;解:
首先构造真值表如下:;;;【习题1】利用归结法证明:
3. (?? ∨ ??) ∧ (?? → ??) ∧ (?? → ??) ? ?? ∨ ??
5. ≦(?? → ??) → ≦(?? ∨ ??), (?? → ??) ∨ ≦??, ?? → ?? ? ??;证明:;;证明:;;;2.1 谓词逻辑的基本概念;;;;;;;;;;;;2.6 谓词逻辑的归结推理法;;2.6 谓词逻辑的归结推理法;;11.1 无向图的基本概念
【习题14】假设某天晚上??????????先生和太太参加了一个桥牌聚会。 参加的人中还有另外三对夫妇,并且有几次握手。没有人和自己握 手,没有夫妻之间握手,并且没有两个人握手超过一次。当其他人 告诉??????????先生,他或她握了几次手时,答案都不一样。问?????????? 先生和太太分别握了几次手?
解:
由于当其他人告诉??????????先生,他或她握了几次手时,答案都不一 样,所以其他7个人分别握手0、1、2、3、4、5、6次,下面我们 来讨论每个人分别握手的次数。;11.1 无向图的基本概念
这七个人中,有一个人比较特殊,即??????????太太,如果她握 手次数为6次,那么说明她与其他6个人都握过手(因为她不能跟 他丈夫握手),则这7个人每个人握手的次数均大于等于1次,这 与题设“每个人握手次数不同”矛盾,故说明??????????太太握手次数 不是6次。
那么剩下的6个人中,有一个人握手次数为6,我们可以任 意取这个人为??,那么他与除他太太的6个人分别握手1次,此时他 的太太??握手次数为0,否则(用反证法)若??的握手次数不为0, 那么说明她至少握过一次手,而其他6个人又都与??握过手,那么 就没有人握手0次,这与题设矛盾,故??握手次数为0。;11.1 无向图的基本概念
下面去掉??、??及其所关联的边,所剩的子图为6个顶点,在这个子 图中,除了??????????先生,其余5个人的握手次数为
0、1、2、3、4 (但此时要记住,他们在原图中都与 ?? 握过一次手),
这样利用上面的分析知在这个图中??????????太太不能握手4次,而其 他4个人中任取一个人??握手4次(注意,这个人在原图中实际上握 了5次手,因为他还跟??握过一次手),他的太太d握手就为0次
(同样在原图中为1次)。
再去掉??、??及其所关联的边,剩下的子图中除??????????太太,剩下的 2个人??、??分别握手2次和0次(在原图中为4次和2次,因为分别和 a、??握过一次手),这样知,在原图中除了??????????太太,其余6个 人分别握手0、1、2、4、5、6次,这样??????????太太就握手3次,根
据上边的分析,知??????????先生实际上也握了3次手,分别与??、??、??。;;;;;;;11.3 无向图的连通性
【习题2】设??为完全图,问:
有多少圈?
包含??中某边??的圈有多少?
任意两点间有多少路? 解:;11.3 无向图的连通性
【习题3】证明:若边??在??中的某一闭迹中,则??在??的某一圈中。 证明:
对于边??,设其两个顶点分别为??、??。
由于??在G的某一闭迹中,故??、??必在??的某一闭迹中。
则除了??这条边,必存在另一条迹从??到??,否则与题设中闭迹条 件相矛盾。
因此,这条迹必可以转化为一条路,则这条路加上??就是??中包 含??的圈。
分析:
这里有些同学认为存在迹便存在圈,说明没有记清圈的定义,一 定要把迹转化为路才能说存在圈。;;11.4 欧拉图与哈密顿图
【习题2】构造一个欧拉图,其结点数??和边数??满足下述条件:
1. ??, ??的奇偶性一样。;;;
您可能关注的文档
- 江西财经大学13-14学年第二学期概率论与数理统计期末考试题.docx
- 江西财经大学14-15学年第二学期期末概率论与数理统计考试试题.docx
- 江西财经大学15-16学年第二学期概率论与数理统计期末考试题.doc
- 江西财经大学16-17学年第二学期概率论与数理统计期末考试题.docx
- 江西财经大学17-18第二学期期末概率论与数理统计考试试卷.doc
- 江西财经大学17-18学年第二学期概率论与数理统计期末考试题.docx
- 江西财经大学18-19第一学期期末线性代数考试试卷.doc
- 江西财经大学18-19学年第二学期概率论与数理统计期末考试题.docx
- 江西财经大学2013-2014学年第一学期期末考试试卷(B).docx
- 江西财经大学2019-2020学年第二学期期末考试线性代数试卷.doc
最近下载
- 中小学生端午节假期安全教育主题班会PPT课件.pptx VIP
- 机器人等级考试三四级资料-第01课:初识Mixly和Fduino UNO.pptx VIP
- FULING富凌H200空压机中文说明书说明书用户手册.pdf
- Praat语音软件操作手册.docx VIP
- 2025-2026学年重庆市江津实验中学、田家炳中学、李市中学、白沙中学等金砖六校九年级(上)期末化学模拟试卷(含答案).pdf VIP
- 阿特拉斯•科普柯 冷冻式干燥机.pdf VIP
- 重庆市九龙坡区2024-2025学年九年级上学期期末考试数学试题(含答案与解析).pdf VIP
- 浙江省杭州市富阳区2023-2024学年三年级上学期数学期末试卷.docx VIP
- TXFQC-合成橡胶消防水带.pdf VIP
- 重庆市九龙坡区渝高教育集团2024-2025学年九年级上学期期末考试物理试题(含答案).pdf VIP
原创力文档

文档评论(0)