一个逻辑表达式如果对于其变元的任一种取值均为真,则成为重言式;反之,如果对于其变元的任一种取值都为假,则称为矛盾式,然而,更多的情况下,既非重言式,也非矛盾式。写一个程序通过真值表判别一个逻辑表达式属于上述哪一类。基本要求如下: (1)逻辑表达式从终端输入,长度不超过一行。逻辑运算符包括“|”、“&”和“~”,分别表示或、与和非,运算优先程度递增,但可有括号改变,即括号内的运算优先。逻辑变元为大写字母。表达式中任何地方都可以含有多个空格符。 (2)若是重言式或矛盾式,可以只显示“True Forever”或“False Forever”,否则显示“Statisfactible”以及变量名序列,与用户交互。若用户对表达式变元取定一组值,程序就求出并显示逻辑表达式的值。 (3)本程序先使用栈将逻辑表达式的变量进行存储,然后将栈中的元素作为二叉树的结点结构,然后根据优先级读取表达式建立二叉树,并通过逐个判断根实现对重言式的判别。 测试数据 (1) (A|~A)&(B|~B) (2) (A&~A)&C (3) A|B|C|D|E|~A (4) A&B&C&~B (5) (A|B)&(A|~B) (6) A&~B|~A&B;
2021-04-26 23:35:55 114KB 重言式的判别
1
要求见严蔚敏习题集P148—5.1 要求见严蔚敏习题集P148—5.1 要求见严蔚敏习题集P148—5.13. 重言式判别
2021-04-26 23:30:22 268KB 3. 重言式判别
1
本次课程设计设计的是人口信息查询系统方案验证,通过测试、比较和实际的数字说明,得出一套整体设计方案,使其查询速度最快,稳定性最好。 本次设计的难点在于,测试的数据量比较庞大,怎样实现一种快捷准确的方式来实现人口信息的生成,所以得先写程序自动生成随机的10000000个测试数据,每个数据包括姓名、性别、地址、出生日期、工作信息和电话,其中每个人的信息是采用结构体数组来存放,再用C++中的类来封装,考虑到查找的速度,数据尽量不存在内存中,于是之前生成的数据就是采用线性表的顺序结构存放在文本文档中的。为此必须使用大量的文件读写操作,分块将数据写入读出。 查找每个人的信息,有多种方案可实现查找,一种方案是先把数据从文本中取出来放到链表中,输入所要查找人的姓名,就按照顺序查找的方法逐一地查找。另一种方案是把文本里的数据保存为索引表,按地名相同放在一起,然后查找的时候就是采用索引表查找,也叫分块查找。最后,通过实际的数据比较及性能测试,可以确定的是,索引表查找效率明显高于顺序表查找。 通过多种方案的比较,最终得出一个较为快捷准确的查找方案,即存储采用顺序表存储,查找采用索引表查找,这样能够最大限度的实现系统的优化处理,即提高查找速率。
2021-04-26 23:16:54 821KB 数据结构 人口信息系统 链表
1
石油大学2021数据结构课程设计试卷
2021-04-26 22:02:12 45KB 题目
1
数据结构的课程设计文档,进行简单的修改即可完成文档,代码都在文档中,让你方便简单的完成结课设计项目。
2021-04-26 22:02:11 462KB 数据结构 毕业设计 文档
1
1.逻辑表达式从终端输入,长度不超过一行,逻辑运算符包括"|","&"和"~",分别表示或,与和非,运算符的优先程度递增,但可有括号改变,即括号内的运算优先。逻辑变元为大写字母。表达式中的任何地方都可以含有多个空格符。 2.若是重言式或矛盾式,可以只显示"True forever"或"False forever", 否则显示"Satisfactible"以及变量名序列,与用户交互。若用户对表达式中变元取定一组值,程序就求出表达式的值。 3.程序要求必须输入语法正确的表达式,程序没有语法检查功能。 4.本程序在vs2008下编译通过。
2021-04-25 17:47:33 6KB 重言式判别
1
数据结构的课程设计,电表计费系统。主要用到链表操作。
2021-04-23 10:19:34 160KB 电表计费系统
1
山东大学数据结构课程设计报告,含小大根交替堆实现双端优先队列,以及虚拟目录文件系统两个实验的报告
2021-04-21 16:10:06 1.08MB 数据结构课设
1
问题描述: 针对带头结点的单循环链表,编写实现以下操作的算法函数。 实现要求: ⑴ 单链表建立函数create:先输入数据到一维数组A[M]中,然后根据一维数组A[M]建立一个单循环链表,使链表中个元素的次序与A[M]中各元素的次序相同,要求该函数的时间复杂度为O(m); ⑵ 定位查找函数Locate:在所建立的单循环链表中查找并返回值为key的第1个元素的结点指针;若找不到,则返回NULL; ⑶ 求出该链表中值最大和次大的元素值,要求该算法的时间复杂度为O(m),最大和次大的元素值通过指针变量带回,函数不需要返回值; ⑷ 将链表中所有值比key(值key通过形参传入)小的结点作为值为key的结点前驱,所有值比key大的结点作为值为key的结点后继,并尽量保持原有结点之间的顺序,要求该算法的时间复杂度为O(m); ⑸ 设计一个菜单,具有上述处理要求和退出系统功能。
2021-04-18 18:57:45 4KB 数据结构 单链表 课程设计
1
绝对好使数据结构课程设计+比较几种内部排序算法的关键字比较次数和移动次数以取得直观感受
1