离散数学1.1-2

离散数学答案屈婉玲版第二版高等教育出版社课后答案

离散数学答案屈婉玲版 第二版高等教育出版社课后答案 第一章部分课后习题参考答案 16 设p、q的真值为0；r、s的真值为1，求下列各命题公式的真值。 （1）p∨(q∧r)?0∨(0∧1) ?0 （2）（p?r）∧(﹁q∨s) ?（0?1）∧(1∨1) ?0∧1?0. （3）（?p∧?q∧r）?(p∧q∧﹁r) ?（1∧1∧1）? (0∧0∧0)?0 (4)（?r∧s）→(p∧?q) ?（0∧1）→(1∧0) ?0→0?1 17．判断下面一段论述是否为真：“π是无理数。并且，如果3是无理数，则2也是无理数。另外6能被2整除，6才能被4整除。” 答：p: π是无理数1 q: 3是无理数0 r: 2是无理数 1 s: 6能被2整除1 t: 6能被4整除0 命题符号化为：p∧(q→r)∧(t→s)的真值为1，所以这一段的论述为真。19．用真值表判断下列公式的类型： （4）(p→q) →(?q→?p) （5）(p∧r) ?(?p∧?q) （6）((p→q) ∧(q→r)) →(p→r) 答：（4） p q p→q ?q ?p ?q→?p (p→q)→(?q→?p) 0 0 1 1 1 1 1 0 1 1 0 1 1 1 1 0 0 1 0 0 1 1 1 1 0 0 1 1 所以公式类型为永真式

（5）公式类型为可满足式（方法如上例） （6）公式类型为永真式（方法如上例） 第二章部分课后习题参考答案 3.用等值演算法判断下列公式的类型，对不是重言式的可满足式，再用真值表法求出成真赋值. (1) ?(p∧q→q) (2)(p→(p∨q))∨(p→r) (3)(p∨q)→(p∧r) 答：(2)（p→(p∨q)）∨(p→r)?(?p∨(p∨q))∨(?p∨r)??p∨p∨q∨r?1所以公式类型为永真式 (3)P q r p∨q p∧r （p∨q）→(p∧r) 0 0 0 0 0 1 0 0 1 0 0 1 0 1 0 1 0 0 0 1 1 1 0 0 1 0 0 1 0 0 1 0 1 1 1 1 1 1 0 1 0 0 1 1 1 1 1 1 所以公式类型为可满足式 4.用等值演算法证明下面等值式： (2)(p→q)∧(p→r)?(p→(q∧r)) (4)(p∧?q)∨(?p∧q)?(p∨q) ∧?(p∧q) 证明（2）(p→q)∧(p→r) ?(?p∨q)∧(?p∨r) ??p∨(q∧r)) ?p→(q∧r) （4）(p∧?q)∨(?p∧q)?(p∨(?p∧q)) ∧(?q∨(?p∧q)

(完整版)离散数学实验指导书及其答案

实验一命题逻辑公式化简 【实验目的】加深对五个基本联结词（否定、合取、析取、条件、双条件）的理解、掌握利用基本等价公式化简公式的方法。 【实验内容】用化简命题逻辑公式的方法设计一个表决开关电路。 实验用例：用化简命题逻辑公式的方法设计一个 5 人表决开关电路，要求 3 人以上（含 3 人）同意则表决通过（表决开关亮）。 【实验原理和方法】 （1）写出5人表决开关电路真值表，从真值表得出5 人表决开关电路的主合取公式（或主析取公式），将公式化简成尽可能含五个基本联结词最少的等价公式。 （2）上面公式中的每一个联结词是一个开关元件，将它们定义成 C 语言中的函数。 （3）输入5人表决值（0或1），调用上面定义的函数，将5人表决开关电路真值表的等价公式写成一个函数表达式。 （4）输出函数表达式的结果，如果是1，则表明表决通过，否则表决不通过。 参考代码： #include int vote（int a,int b,int c,int d,int e） { // 五人中任取三人的不同的取法有10种。 i f（ a&&b&&c || a&&b&&d || a&&b&&e || a&&c&&d || a&&c&&e || a&&d&&e || b&&c&&d || b&&c&&e || b&&d&&e || c&&d&&e） return 1; else return 0; } void main（） { i nt a,b,c,d,e; printf（" 请输入第五个人的表决值（0 或1，空格分开）："）; scanf （"%d%d%d%d%d",&a,&b,&c,&d,&e）; i f（vote（a,b,c,d,e）） printf（" 很好，表决通过！\n"）; else printf（" 遗憾，表决没有通过！\n"）; } // 注：联结词不定义成函数，否则太繁 实验二命题逻辑推理 【实验目的】加深对命题逻辑推理方法的理解。【实验内容】用命题逻辑推理的方法解决逻辑

离散数学(第五版)清华大学出版社第2章习题解答

离散数学（第五版）清华大学出版社第2章习题解答 2.1 本题没有给出个体域,因而使用全总个体域. (1) 令F(x):x是鸟 G(x):x会飞翔. 命题符号化为 ?x(F(x)→G(x)). (2)令F(x):x为人. G(x):x爱吃糖 命题符号化为 ??x(F(x)→G(x)) 或者 ?x(F(x)∧?G(x)) (3)令F(x):x为人. G(x):x爱看小说. 命题符号化为 ?x(F(x)∧G(x)). (4) F(x):x为人. G(x):x爱看电视. 命题符号化为 ??x(F(x)∧?G(x)). 分析1°如果没指出要求什么样的个体域，就使用全总个休域，使用全总个体域时，往往要使用特性谓词。（1）-（4）中的F(x)都是特性谓词。 2°初学者经常犯的错误是，将类似于（1）中的命题符号化为 27 ?x(F(x)∧G(x)) 即用合取联结词取代蕴含联结词，这是万万不可的。将（1）中命题叙述得更透彻些，是说“对于宇宙间的一切事物百言，如果它是鸟，则它会飞翔。”因而符号化应该使用联结词→而不能使用∧。若使用∧，使（1）中命题变成了“宇宙间的一切事物都是鸟并且都会飞翔。”这显然改变了原命题的意义。

3°（2）与（4）中两种符号化公式是等值的，请读者正确的使用量词否定等值式，证明（2），（4）中两公式各为等值的。 2.2 (1)d (a),(b),(c)中均符号化为 ?xF(x) 其中F(x):(x+1)2=x2+2x+1,此命题在(a),(b),(c)中均为真命题。 （2）在(a),(b),(c)中均符号化为 ?xG(x) 其中G(x):x+2=0，此命题在（a）中为假命题，在(b)(c)中均为真命题。 （3）在(a),(b),(c)中均符号化为 ?xH(x) 其中H(x):5x=1.此命题在(a),(b)中均为假命题，在(c)中为真命题。 分析1°命题的真值与个体域有关。 2°有的命题在不同个体域中，符号化的形式不同，考虑命题 “人都呼吸”。 在个体域为人类集合时，应符号化为 ?xF(x) 这里，F(x):x呼吸，没有引入特性谓词。 在个体域为全总个体域时，应符号化为 ?x(F(x)→G(x)) 这里，F(x):x为人，且F(x)为特性谓词。G(x):x呼吸。 28 2．3 因题目中未给出个体域，因而应采用全总个体域。 （1）令：F(x):x是大学生，G(x):x是文科生，H(x):x是理科生，命题符号化为?x(F(x)→(G(x)∨H(x)) （2）令F(x):x是人，G(y):y是化，H(x):x喜欢，命题符号化为 ?x(F(x)∧?y(G(y)→H(x,y))) （3）令F(x):x是人，G(x):x犯错误，命题符号化为 ??x(F(x)∧?G(x)), 或另一种等值的形式为 ?x(F(x)→G(x)

离散数学实验报告

离散数学实验报告（实验ABC） 专业班级 学生姓名 学生学号 指导老师 完成时间

目录 第一章实验概述..................................... 错误!未定义书签。 实验目的....................................... 错误!未定义书签。 实验内容....................................... 错误!未定义书签。 实验环境....................................... 错误!未定义书签。第二章实验原理和实现过程........................... 错误!未定义书签。 实验原理....................................... 错误!未定义书签。 建立图的邻接矩阵，判断图是否连通 ............ 错误!未定义书签。 计算任意两个结点间的距离 ................... 错误!未定义书签。 对不连通的图输出其各个连通支 ................ 错误!未定义书签。 实验过程（算法描述）........................... 错误!未定义书签。 程序整体思路 ............................... 错误!未定义书签。 具体算法流程 ................................ 错误!未定义书签。第三章实验数据及结果分析........................... 错误!未定义书签。 建立图的邻接矩阵并判断图是否连通的功能测试及结果分析错误!未定义书签。 输入无向图的边 .............................. 错误!未定义书签。 建立图的连接矩阵 ............................ 错误!未定义书签。 其他功能的功能测试和结果分析................... 错误!未定义书签。 计算节点间的距离 ............................ 错误!未定义书签。 判断图的连通性 .............................. 错误!未定义书签。 输出图的连通支 .............................. 错误!未定义书签。 退出系统 .................................... 错误!未定义书签。第四章实验收获和心得体会........................... 错误!未定义书签。

离散数学第五版 模拟试题 及答案

《离散数学》模拟试题3 一、填空题（每小题2分，共20分） 1. 已知集合A ={φ，1，2}，则A得幂集合p（A）=_____ _。 2. 设集合E ={a, b, c, d, e}, A= {a, b, c}, B = {a, d, e}, 则A∪B =___ ___， A∩B =____ __，A－B =___ ___，～A∩～B =____ ____。 3. 设A，B是两个集合，其中A= {1, 2, 3}, B= {1, 2}，则A－B =____ ___， ρ（A）－ρ（B）=_____ _ _。 4. 已知命题公式R Q P G→ ∧ ? =) (，则G的析取范式为。 5. 设P：2＋2＝4，Q：3是奇数；将命题“2＋2＝4，当且仅当3是奇数。”符号化 ，其真值为。 二、单项选择题（选择一个正确答案的代号填入括号中，每小题4分，共16分。） 1. 设A、B是两个集合，A＝{1,3,4}，B＝{1,2}，则A－B为（）. A.{1} B. {1, 3} C. {3,4} D. {1,2} 2. 下列式子中正确的有（）。 A. φ＝0 B. φ∈{φ} C. φ∈{a,b} D. φ∈φ 3. 设集合X＝{x, y}，则ρ（X）＝（）。 A. {{x},{y}} B. {φ,{x},{y}} C. {φ,{x},{y},{x, y}} D. {{x},{y},{x, y}} 4. 设集合A＝{1,2,3}，A上的关系R＝{(1,1),(2,2),(2,3),(3,3),(3,2)}， 则R不具备（）. 三、计算题（共50分） 1. （6分）设全集E＝N，有下列子集：A＝{1，2，8，10}，B＝{n|n2<50 ，n∈N}，C＝ {n|n可以被3整除，且n<20 ，n∈N}，D＝{n|2i，i<6且i、n∈N}，求下列集合：（1）A∪(C∩D) （2）A∩(B∪(C∩D)) （3）B－(A∩C) （4）(～A∩B) ∪D 2. （6分）设集合A＝{a, b, c}，A上二元关系R1，R2，R3分别为：R1＝A×A， R2 ＝{(a，a)，(b，b)}，R3 ＝{(a，a)}，试分别用 定义和矩阵运算求R1·R2 ，22R，R1·R2 ·R3 ， (R1·R2 ·R3 )－1 。 3.（6分）化简等价式（﹁P∧（﹁Q∧R））∨（Q∧R）∨（P∧R）. 4.(8分) 设集合A＝{1,2,3}，R为A上的二元关系，且 M R＝ 写出R的关系表达式，画出R的关系图并说明R的性质. 5. （10分）设公式G的真值表如下. 试叙述如何根据真值表求G的 主析取范式和主合取范式，并 写出G的主析取范式和主合取范式. 1 0 0 1 1 0 1 0 0

离散数学 第二讲

1.1.3 命题符号化 1.1.2介绍的5种常用的联结词也可称为真值联结词或逻辑联结词。在命题逻辑中，利用这些联结词可将各种各样的复合命题符号化，基本的步骤如下： 9找出各简单命题，将它们符号化； 9使用合适的联结词，将简单命题逐个联结起来，组成复合命题的符号化形式。

例1.12将下列命题符号化： （1）小王是游泳冠军或百米赛跑冠军。 （2）小王现在在宿舍或在图书馆里。 （3）选小王或小李中的一人做班长。 解：根据以上步骤，上述命题可符号化为： （1）p ∨q，其中，p：小王是游泳冠军，q：小王是百米赛跑冠军。 （2）p ∨q，其中，p：小王在宿舍，q：小王在图书馆。这里的“或”是排斥或，但因p与q不能同时发生，所以仍然符号化为p ∨q。 （3）(p ∧?q) ∨(q ∧?p)，其中，p：选小王做班长，q：选小李做班长。这里的“或”是排斥或，因p与q可能同时发生，所以须符号化为(p ∧?q) ∨(q ∧?p)。

例1.13将下列命题符号化： （1）如果我上街，我就去书店看看，除非我很累。 （2）小王是电子工程学院的学生，他生于1983年或1984年，他是三好学生。 解：上述命题可符号化为： （1）?r→(p→q)，其中，p：我上街，q：我去书店看看，r：我很累。（该命题也可符号化为(p∧?r)→q或p→(?r→q)） （2）p∧(q∨r)∧s，其中，p：小王是电子工程学院的学生，q：他生于1983年，r：他生于1984年，s：他是三好生。

1.1 命题符号化及联结词 5个联结词的优先级顺序为： ?、∧、∨、→、? 例我们写符号串： p ∨q ∧r→q∧?s ∨r 即为如下公式：(p ∨(q ∧r))→((q∧(?s)) ∨r)

离散数学(第2版)-在线作业-2

离散数学(第2版)_在线作业_2 交卷时间：2017-01-12 10:56:42 一、单选题 1. (5分) 设R是实数集合，R上的运算*定义为，则为( )。 纠错 得分： 5 知识点：离散数学(第2版) 收起解析 答案 B 解析 2. (5分) ?

得分： 5 知识点：离散数学(第2版) 收起解析 答案 B 解析 3. (5分) 纠错 得分： 5 知识点：离散数学(第2版) 收起解析 答案 C 解析 4. (5分) 谓词公式中变元( )。

得分： 5 知识点：离散数学(第2版) 收起解析 答案 C 解析 5. (5分) 设上的关系，则R的定义域等于( )。 ? A. ? B. ? C. ? D. 纠错 得分： 5 知识点：离散数学(第2版) 收起解析 答案 D 解析 6. (5分) 集合的交运算不满足( )。

得分： 5 知识点：离散数学(第2版) 收起解析 答案 B 解析 7. (5分) 纠错 得分： 5 知识点：离散数学(第2版) 收起解析 答案 A 解析 8. (5分) ? B. ? C. ? D. 集合的并运算不满足( )。 设，下面命题为假的是( )。

得分： 5 知识点： 离散数学(第2版) 收起解析 答案 D 解析 9. (5分) ? A. ? B. ? C. ? D. 纠错 得分： 5 知识点： 离散数学(第2版) 收起解析 答案 D 解析 10. (5分) ? A. ? B. ? C. ? D. 纠错 前提，，的逻辑结论不会是( )。 。

得分： 5 知识点：离散数学(第2版) 收起解析 答案 A 解析 11. (5分) 纠错 得分： 5 知识点：离散数学(第2版) 收起解析 答案 B 解析 12. (5分) 。 ? A. ? B. ? C. ? D. 纠错 得分： 5 知识点：离散数学(第2版)

离散数学实验报告--四个实验!!!

《离散数学》 课程设计 学院计算机学院 学生姓名 学号 指导教师 评阅意见 提交日期 2011 年 11 月 25 日

引言 《离散数学》是现代数学的一个重要分支，也是计算机科学与技术，电子信息技术，生物技术等的核心基础课程。它是研究离散量（如整数、有理数、有限字母表等）的数学结构、性质及关系的学问。它一方面充分地描述了计算机科学离散性的特点，为学生进一步学习算法与数据结构、程序设计语言、操作系统、编译原理、电路设计、软件工程与方法学、数据库与信息检索系统、人工智能、网络、计算机图形学等专业课打好数学基础；另一方面，通过学习离散数学课程，学生在获得离散问题建模、离散数学理论、计算机求解方法和技术知识的同时，还可以培养和提高抽象思维能力和严密的逻辑推理能力，为今后爱念族皮及用计算机处理大量的日常事务和科研项目、从事计算机科学和应用打下坚实基础。特别是对于那些从事计算机科学与理论研究的高层次计算机人员来说，离散数学更是必不可少的基础理论工具。 实验一、编程判断一个二元关系的性质（是否具有自反性、反自反性、对称性、反对称性和传递性） 一、前言引语：二元关系是离散数学中重要的内容。因为事物之间总是可以 根据需要确定相应的关系。从数学的角度来看，这类联系就是某个集合中元素之间存在的关系。 二、数学原理：自反、对称、传递关系 设A和B都是已知的集合，R是A到B的一个确定的二元关系，那么集合R 就是A×B的一个合于R={(x,y)∈A×B|xRy}的子集合 设R是集合A上的二元关系： 自反关系：对任意的x∈A,都满足∈R，则称R是自反的，或称R具有自反性，即R在A上是自反的?(?x)((x∈A)→(∈R))=1 对称关系：对任意的x,y∈A，如果∈R，那么∈R，则称关系R是对称的，或称R具有对称性，即R在A上是对称的? (?x)(?y)((x∈A)∧(y∈A)∧(∈R)→(∈R))=1 传递关系：对任意的x,y,z∈A，如果∈R且∈R，那么∈R，则称关系R是传递的，或称R具有传递性，即R在A上是传递的? (?x)(?y)(?z)[(x∈A)∧(y∈A)∧(z∈A)∧((∈R)∧(∈R)→(∈R))]=1 三、实验原理：通过二元关系与关系矩阵的联系，可以引入N维数组，以数 组的运算来实现二元关系的判断。 图示：

离散数学实验报告()

《离散数学》实验报告 专业网络工程 班级 姓名 学号 授课教师 二 O 一六年十二月

目录 实验一联结词的运算 实验二根据矩阵的乘法求复合关系 实验三利用warshall算法求关系的传递闭包实验四图的可达矩阵实现

实验一联结词的运算 一．实验目的 通过上机实验操作，将命题连接词运算融入到C语言的程序编写中，一方面加强对命题连接词运算的理解，另一方面通过编程实现命题连接词运算，帮助学生复习和锻炼C语言知识，将理论知识与实际操作结合，让学生更加容易理解和记忆命题连接词运算。二．实验原理 (1) 非运算, 符号: ,当P=T时，P为F, 当P=F时，P为T 。 (2) 合取, 符号: ∧ , 当且仅当P和Q的真值同为真，命题P∧Q的真值才为真；否则，P∧Q的真值为假。 (3) 析取, 符号: ∨ , 当且仅当P和Q的真值同为假，命题P∨Q的真值才为假；否则，P∨Q的真值为真。 (4) 异或, 符号: ▽ , 当且仅当P和Q的真值不同时，命题P▽Q的真值才为真；否则，P▽Q的真值为真。 (5) 蕴涵, 符号: →, 当且仅当P为T,Q为F时，命题P→Q的真值才为假；否则，P→Q 的真值为真。 (6) 等价, 符号: ?, 当且仅当P,Q的真值不同时，命题P?Q的真值才为假；否则，P→Q的真值为真。 三．实验内容 编写一个程序实现非运算、合取运算、析取运算、异或运算、蕴涵运算、等价运算。四．算法程序 #include void main() { printf("请输入P、Q的真值\n"); int a,b; scanf("%d%d",&a,&b); int c,d; if(a==1) c=0; else c=1; if(b==1) d=0;

离散数学(第五版)清华大学出版社第1章习题解答

离散数学（第五版）清华大学出版社第1章习题解答 1．1 除（3），（4），（5），（11）外全是命题，其中，（1），（2），（8），（9），（10），（14），（15）是简单命题，（6），（7），（12），（13）是复合命题。 分析首先应注意到，命题是陈述句，因而不是陈述句的句子都不是命题。 本题中，（3）为疑问句，（5）为感叹句，（11）为祈使句，它们都不是陈述句，所以它们都不是命题。 其次，4）这个句子是陈述句，但它表示的判断结果是不确定。又因为（1），（2），（8），（9），（10），（14），（15）都是简单的陈述句，因而作为命题，它们 都是简单命题。（6）和（7）各为由联结词“当且仅当”联结起来的复合命题，（12）是由联结词“或”联结的复合命题，而（13）是由联结词“且”联结起来 的复合命题。这里的“且”为“合取”联结词。在日常生活中，合取联结词有许 多表述法，例如，“虽然……，但是……”、“不仅……，而且……”、“一面……，一面……”、“……和……”、“……与……”等。但要注意，有时“和”或“与” 联结的是主语，构成简单命题。例如，（14）、（15）中的“与”与“和”是联结 的主语，这两个命题均为简单命题，而不是复合命题，希望读者在遇到“和”或“与”出现的命题时，要根据命题所陈述的含义加以区分。 1．2 （1）p: 2是无理数，p为真命题。 （2）p:5能被2整除，p为假命题。 （6）p→ｑ。其中，p:2是素数，q：三角形有三条边。由于p与q都是真 命题，因而p→ｑ为假命题。 （7）p→ｑ，其中，p：雪是黑色的，q：太阳从东方升起。由于p为假命 题，q为真命题，因而p→ｑ为假命题。 （8）p:2000年10月1日天气晴好，今日（1999年2月13日）我们还不 知道p的真假，但p的真值是确定的（客观存在的），只是现在不知道而已。（9）p：太阳系外的星球上的生物。它的真值情况而定，是确定的。 1 （10）p：小李在宿舍里. p的真值则具体情况而定，是确定的。 （12）p∨q，其中，p:4是偶数，q:4是奇数。由于q是假命题，所以，q 为假命题，p∨q为真命题。

离散数学(第2版)_在线作业_1

离散数学(第2版)_在线作业_1 交卷时间：2017-01-12 10:34:32 一、单选题 1. (5分) ? A. P∨┐Q ? B. P∧┐Q ? C. ┐P ∧Q ? D. ┐P∨Q 纠错 得分：5 知识点：离散数学(第2版) 收起解析 答案A 解析 2. (5分) ? A. ? B. ? C. 命题变元P和Q的极大项M1表示( )。 设，下面集合等于A的是( )。

? D. 纠错 得分： 5 知识点： 离散数学(第2版) 收起解析 答案 B 解析 3. (5分) ? A. ? B. ? C. ? D. 纠错 得分： 5 知识点： 离散数学(第2版) 收起解析 答案 C 解析 4. 下面既是哈密顿图又是欧拉图的是( )。

? A. 水开了吗？ ? B. ? C. 请不要抽烟! ? D. 再过5000年，地球上就没有水了 纠错 得分： 5 知识点： 离散数学(第2版) 收起解析 答案 D 解析 5. (5分) ? A. 2n-1 ? B. n ? C. n+1 ? D. n-1 纠错 得分： 5 知识点： 离散数学(第2版) 收起解析 答案 D 解析 6. 下列语句中为命题的是( )。 n 个结点、m 条边的无向连通图是树当且仅当m=( )。

? A. P ∨┐Q ? B. ┐P ∨Q ? C. ┐P ∧Q ? D. P ∧┐Q 纠错 得分： 5 知识点： 离散数学(第2版) 收起解析 答案 C 解析 7. (5分) ? A. ? B. ? C. ? D. 纠错 得分： 5 知识点： 离散数学(第2版) 收起解析 答案 B 解析 命题变元P 和Q 的极小项m 1表示( )。 公式的前束范式为( )。

离散数学实验一

实验报告 （2013 / 2014 学年第一学期） 课程名称离散数学 实验名称利用真值表法求取主析取范式 以及主合取范式的实现 实验时间2013 年10 月23 日指导单位计算机学院、软件学院 指导教师 学生姓名班级学号 学院(系) 计算机、软件 专业软件工程 学院

实验报告 实验名称利用真值表法求取主析取范式 指导教师 以及主合取范式的实现 实验类型验证实验学时 4 实验时间2013.10.23 一、实验目的和要求 1、编程实现用真值表法求取含三个以内变量的合式公式的主析取范式和主合取范式。 2、要求： 1)从屏幕输入含三个以内变量的合式公式（其中联结词按照从高到底 的顺序出现） 2)规范列出所输合式公式的真值表 3)给出相应主析取和主合取范式

二、实验内容 1.可用字符数组a记录输入的合式公式（其中'&'代表与，'|'代表或，'~' 代表非，'>'代表单条件，'='代表双条件) 2.多重循环显示真值表（1表示T，0表示F，先1后0）并对公式进行相 应赋值得数组b 3.函数递归计算各种赋值情况下b的取值 4.联接词运算符定义

三、实验设计及代码 1、求取真值表 void truetable(){ /*求真值表函数*/ char s1[30],s2[30],s3[30],s4[30]; int n,i,j,k,m; printf("您要计算真值表！\n"); printf("***************** 输入要计算的表达式(A~Z,a~z) ****" "************ \n"); printf("(其中'&'代表与 '|'代表或 '~'代表非 '>'代表单条件 " "'='代表双条件)\n"); gets(s4); printf(" \n您输入要计算的表达式为：%s \n",s4); n=got(s1, s4); if(!n) {printf("输入有误！\n");return;} m = (int)pow(2,n); printf("计算真值表如下:\n"); for(j=0;j<(int)strlen(s1);j++){ printf("%c ",s1[j]); } printf(" %s\n",s4); for(j=0;j

离散数学(第五版)清华大学出版社第

离散数学（第五版）清华大学出版社第1章习题解答1．1除（3），（4），（5），（11）外全是命题，其中，（1），（2），（8），（9），（10），（14），（15）是简单命题，（6），（7），（12），（13）是复合命题。 分析首先应注意到，命题是陈述句，因而不是陈述句的句子都不是命题。 本题中，（3）为疑问句，（5）为感叹句，（11）为祈使句，它们都不是陈述句，所以它们都不是命题。 其次，4）这个句子是陈述句，但它表示的判断结果是不确定。又因为（1），（2），（8），（9），（10），（14），（15）都是简单的陈述句，因而作为命题，它们都是简单命题。（6）和（7）各为由联结词“当且仅当”联结起来的复合命题，（12）是由联结词“或”联结的复合命题，而（13）是由联结词“且”联结起来的复合命题。这里的“且”为“合取”联结词。在日常生活中，合取联结词有许多表述法，例如，“虽然……，但是……”、“不仅……，而且……”、“一面……，一面……”、“……和……”、“……与……”等。但要注意，有时“和”或“与” 联结的是主语，构成简单命题。例如，（14）、（15）中的“与”与“和”是联结的主语，这两个命题均为简单命题，而不是复合命题，希望读者在遇到“和”或“与”出现的命题时，要根据命题所陈述的含义加以区分。 1．2（1）p:2是无理数，p为真命题。 （2）p:5能被2整除，p为假命题。 （6）p→q。其中，p:2是素数，q：三角形有三条边。由于p与q都是真命题，因而p→q为假命题。 （7）p→q，其中，p：雪是黑色的，q：太阳从东方升起。由于p为假命可编辑范本 题，q为真命题，因而p→q为假命题。 （8）p:2000年10月1日天气晴好，今日（1999年2月13日）我们还不知道p的真假，但p的真值是确定的（客观存在的），只是现在不知道而已。

离散数学(第2版)_在线作业_3

离散数学(第2版)_在线作业_3 交卷时间： 2017-01-12 13:46:31 一、单选题 1. (5分 ) ? A. 简单图 ? B. 多重图 ? C. 树 ? D. 完全图 纠错 得分： 5 知识点： 离散数学(第2版) 收起解析 答案 B 解析 2. (5分) 设为无环的无向图，，，则G 是( )。

? A. 哈密顿图 ? B. 完全图 ? C. 平面图 ? D. 欧拉图 纠错 得分： 5 知识点： 离散数学(第2版) 收起解析 答案 C 解析 3. (5分) ? A. 有么元、可结合 ? B. 有零元、可交换 ? C. 满足结合律、交换律 ? D. 有么元、可交换 纠错 得分： 5 知识点： 离散数学(第2版) 设G 如右图，则G 不是( )。 . 若是群，则运算( )。

答案 A 解析 4. (5分) ? A. G 只有一个顶点的入度为1 ? B. G 只有一个顶点的出度为0 ? C. G 一定是弱连通的 ? D. G 一定是强连通的 纠错 得分： 5 知识点： 离散数学(第2版) 收起解析 答案 C 解析 5. (5分) ? A. ? B. ? C. ? D. G 是一棵根树，则( )。 设：，：雪是黑色的，：，：太阳从东方升起，则下列 为真的命题是( )。

得分： 5 知识点： 离散数学(第2版) 收起解析 答案 D 解析 6. (5分 ) ? A. ? B. ? C. ? D. 纠错 得分： 5 知识点： 离散数学(第2版) 收起解析 答案 A 解析 7. (5分) ? A. 16 ? B. 14 ? C. 12 下列集合为前缀码的是( )。 设G 是连通的平面图，G 中有11个顶点，5个面，则G 中的边数为( )。

离散数学(第五版)清华大学出版社第6章习题解答

离散数学（第五版）清华大学出版社第6章习题解答 6.1 A:⑨; B:⑨; C:④; D:⑥; E:③ 分析对于给定的集合和运算判别它们是否构成代数系统的关键是检查集合对 给定运算的封闭性,具体方法已在 5.3节做过说明. 下面分别讨论对各种不同代数系纺的判别方法. 1°给定集合S和二元运算°,判定是否构成关群、独导点和群. 根据定义，判别时要涉及到以下条件的验证： 条件1 S关于°运算封闭： 条件2 °运算满足结合集 条件3 °运算有幺元， 条件4 °?x∈S,x-1∈S. 其中关群判定只涉及条件1和2；独导点判定涉及条件1、2、和3；而群的判定则涉及到所有的四个条件。 , *>是否构成环,交换环,含幺环,整环, 2 °给定集合S和二元运算°和*，判定S构成交换群, 条件2 构成关群, 条件 3 * 对°运算的分配律, 条件4 * 对运算满足交换律, 条件5 * 运算有幺元, 条件6 * 运算不含零因子——消去律， 条件7 |S|≥2,?x∈S,x≠0,有x-1∈S（对*运算）. 其中环的判定涉及条件1,2和3;交换环的判定涉及条件1,2,3和4;含幺环的判定涉及条件1,2,3和5;整环的判定涉及条件1-6;而域的判定则涉及全部7个条件. 3°判定偏序集是否构成格、分本配格、有补格和布尔格. 73 若构成代数系统.若是代数系统且°和*运算满足交换律、结合律和吸收律，则构成格。

离散数学实验报告一

学生实验报告 学院：软件与通信工程学院 课程名称：离散数学（软件） 专业班级： 12软件 3 班 姓名：简建敏 学号： 0123897

学生实验报告（1） 一、实验综述 1、实验目的及要求 （1）掌握关系的性质的概念； （2）掌握关系性质的判别方法及算法； （3）编写程序，根据关系矩阵计算判别关系的性质； （4）进一步熟悉和掌握C++程序开发。 实验要求： 认真完成实验题，能正确运行，提交实验报告并上传程序，实验报告要求写出操作步骤、结果、问题、解决方法、体会等。 实验题： ，判设A={a,b,c,d}，A上的关系R={，，，}∪I A 别关系R的性质。 2、实验仪器、设备或软件 计算机、VC++6.0、office、相关的操作系统等。 二、实验过程（实验步骤、记录、数据、分析） 代码如下： #include using namespace std; #define TRUE 1 #define FALSE 0 #define ERROR -1 #define OK 1 #define INFINITY 0 #define MAX_VERTEX_NUM 20 #define MAX_EDGE_NUM 40 typedef enum {DG,DN,UDG,UDN}Graphkind; typedef char VertexType; typedef struct ArcCell { int adj; }ArcCell,AdjMatrix[MAX_VERTEX_NUM][MAX_VERTEX_NUM]; typedef struct

离散数学(第五版)清华大学出版社第7章习题解答

离散数学（第五版）清华大学出版社第7章习题解答 7.1 (1),(2),(3),(5)都能构成无向图的度数列,其中除(5)外又都能构成无向简单图的度数列. 分析1°非负整数列d,d ,L,d 能构成无向图的度数列当且仅当n di为 1 2n∑ i=1偶数,即d1,d2,L,dn中的奇数为偶数个.（1）,(2),(3),(5)中分别有4个,0个,4个,4 个奇数,所以,它们都能构成无向图的度数列,当然,所对应的无向图很可能是非简 单图.而(4)中有 3 个奇数,因而它不能构成无向图度数列.否则就违背了握手定理的推论. 2°(5) 虽然能构成无向图的度数列,但不能构成无向简单度数列.否则,若存在无向简单图G,以1,3,3,3 为度数列,不妨设G 中顶点为v1,v2,v3,v4,且d(vi)=1,于是d(v2)=d(v3)=d(v4)=3.而v1只能与v2,v3,v4之一相邻,设v1与v2相邻,这样一来,除v2能达到3度外, v3,v4都达不到3度,这是矛盾的. 在图7.5所示的4个图中,(1) 以1为度数列,(2)以2为度数列,(3)以3为度数列,(4)以4为度数列(非简单图). 7.2 设有几简单图D以2,2,3,3为度数列,对应的顶点分别为v1,v2,v3,v4,由于d(v)=d+(v)+d_(v),所示,d+(v)-d-(v)=2-0=2,d+(v )=d(v )-d-(v ) 11222=2-0=2,d+(v)=d(v)-d-(v)=3-2=1,d+(v)=d(v)-d-(v)=3-3=0 333444 81 由此可知,D 的出度列为2,2,1,0,且满足d+(v)= d-(v).请读者画出 ∑i∑ｉ 一个有向图.以2,2,3,3为度数列,且以0,0,2,3为入度列,以2,2,1,0为出度列. 7.3 D 的入度列不可能为1,1,1,1.否则,必有出度列为2,2,2,2(因为d(v)=d+(v)+d-(v)),)此时,入度列元素之和为4,不等于出度列元素之和8,这违背握手定理.类似地讨论可知,1,1,1,1也不能为D的出席列. 7.4 不能. N阶无向简单图的最大度Δ≤n-1.而这里的n个正整数彼此不同,因而这n个数不能构成无向简单图的度数列,否则所得图的最大度大于n,这与最大度应该小于等于n-1矛盾.

离散数学(第2版)_在线作业_4

离散数学(第2版)_在线作业 _4 交卷时间：2017-01-12 14:00:56 一、单选题 1. (5分) ? A. q ∧┐q ? B. p →┐q ? C. p → (p ∨q) ? D. (p ∨┐p)→q 纠错 得分： 5 知识点： 离散数学(第2版) 收起解析 答案 C 解析 2. (5分) ? A. ? B. ? C. ? D. 下列命题公式为重言式的是( )。 设，下列式子正确的是( )。

纠错 得分： 5 知识点： 离散数学(第2版 ) 收起解析 答案 C 解析 3. (5分) ? A. ? B. ? C. ? D. 纠错 得分： 5 知识点： 离散数学(第2版) 收起解析 答案 D 解析 4. (5分) ? A. ? B. ? C. 下列是两个命题变元的极小项的是( )。 设G 是有个顶点， 条边和个面的连通平面图，则 等于( )。

? D. 纠错 得分： 5 知识点： 离散数学(第2版) 收起解析 答案 C 解析 5. (5分) ? A. 满射函数 ? B. 非单射非满射函数 ? C. 双射函数 ? D. 单射函数 纠错 得分： 5 知识点： 离散数学(第2版) 收起解析 答案 C 解析 6. (5分) 设R 是实数集合，函数，则是( )。

? A. 11，3，4 ? B. 10，4，3 ? C. 11，3，5 ? D. 12，3，6 纠错 得分： 5 知识点： 离散数学(第2版) 收起解析 答案 A 解析 7. (5分) ? A. x*y=gcd(x,y)，即x,y 的最大公约数 ? B. x*y=lcm(x,y)，即x,y 的最小公倍数 ? C. x*y=max{x,y} ? D. x*y=min{x,y} 纠错 得分： 5 知识点： 离散数学(第2版) 下列平面图的三个面的次数分别是( )。 设集合A={1,2,3,…,10}，下面定义的哪种运算关于集合A 是不封闭的？( )。

离散数学实验报告

《离散数学》 实验报告 题目 专业 学号 姓名 指导教师 提交日期

实验一五种连结词的逻辑运算 一.实验目的 用C语言实现两个命题变元的合取、析取、蕴涵和等价表达式的计算。熟悉连接词逻辑运算规则，利用程序语言实现逻辑这几种逻辑运算。 二.实验内容 从键盘输入两个命题变元P和Q的真值，求它们的合取、析取、蕴涵和等价四种运算的的真值。要求对输入内容进行分析，如果不符合0、1条件需要重新输入，程序有良好的输入输出界面。 三. 实验过程 1. 算法分析： 编程语言为c语言 合取/\：p，q都为1的时候为1，其他为0 析取\/：p，q都为0的时候为0，其他为1 蕴含->：p为1，q为0时为0，其他为1 等价<->：p，q同真同假 流程图

2. 程序代码： #include int main() { int p,q,i,t; printf("************************************************\n"); printf("*** ***\n"); printf(" 欢迎进入逻辑运算软件\n"); printf("*** ***\n"); printf("************************************************\n"); do{ printf("请输入p的值(0或1)"); scanf("%d",&p); if(p!=0&&p!=1) printf("输入有误"); }while(p!=0&&p!=1);

do{ printf("请输入q的值(0或1)"); scanf("%d",&q); if(q!=0&&q!=1) printf("输入有误"); }while(q!=0&&q!=1); do{ printf("请选择要进行的操作\n"); printf("1:合取\n2:析取\n3:蕴含\n4:等价\n"); scanf("%d",&i); switch(i){ case 1:{ if(p&&q) printf("合取运算：p/\q=1\n"); else printf("合取运算：p/\q=0\n"); break; } case 2:{ if(p||q) printf("析取运算：p\/q=1\n"); else printf("析取运算：p\/q=0\n"); break; } case 3:{ if(p&&!q) printf("蕴含：p->q=0\n"); else printf("蕴含：p->q=1\n"); break;} case 4:{ if((p&&q)||(!p&&!q)) printf("等价运算：p<->q=1\n"); else printf("等价运算：p<->q=0\n"); break; } }printf("是否继续运算1\\0\n"); scanf("%d",&t); }while(t); return 0; }

离散数学实验报告1

离散数学实验报告 实验名称：三人表决器的设计实验 姓名：丁施瑶 学号：20110801110 班级：计算机科学与技术一班 实验日期：2012年3月10日

实验内容： 1.实验题目：三人表决器的设计实验 2.三人表决器的功能描述： 三个人分别用手指拨动开关SW1、SW2、SW3来表示自己的意愿，如果对某决议同意，各人就把自己的指拨开关拨到高电平（上方），不同意就把自己的指拨开关拨到低电平（下方）。表决结果用LED（高电平亮）显示，如果决议通过那么实验板上L2亮；如果不通过那么实验板上L1亮；如果对某个决议有任意二到三人同意，那么此决议通过，L2亮；如果对某个决议只有一个人或没人同意，那么此决议不通过，L1亮。 3.三人表决器的逻辑功能： 表决结果与多数人意见相同。 设X0、X1、X2为三个人（输入逻辑变量），赞成为1，不赞成为0； Y0为表决结果（输出逻辑变量），多数赞成Y0为1，否则，Y0为0. 其真值表如表1所示。 表1 “三人表决器”真值表 输入逻辑变量输出逻辑变量 灯 由真值表写出逻辑表达式并化简得：Y0=X0*X1+X0*X2+X1*X2

4.参考代码/程序： library ieee; use ieee.std_logic_1164.all; use ieee.std_logic_unsigned.all; entity bjq3 is port (a,b,c:in std_logic; y:out std_logic); end; architecture one of bjq3 is begin y<=(a and b ) or (a and c) or (b and c ); end; library ieee; use ieee.std_logic_1164.all; use ieee.std_logic_unsigned.all; entity bjq3 is port (a,b,c:in std_logic; y:out std_logic); end; architecture one of bjq3 is signal m:std_logic_vector(2 downto 0); begin m<=a & b & c; y<='0' when (m="000")or(m="001")or(m="010")or(m="100" ) else '1'; end; library ieee; use ieee.std_logic_1164.all; use ieee.std_logic_unsigned.all; entity bjq3 is port (a,b,c:in std_logic; y:out std_logic); end; architecture one of bjq3 is signal m: std_logic_vector(2 downto 0); begin m<=a&b&c; with m select y<='0'when "000"|"001"|"010"|"100",