重言式判别 广东工业大学实验报告

《重言式判别 广东工业大学实验报告》由会员上传分享，免费在线阅读，更多相关内容在行业资料-天天文库。

1、广东工业大学实验报告自动化学院网络工程专业1班学号3111001313姓名钟运文成绩评定_______教师签名许亮实验9题目重言式判别课程名称数据结构A一．实验目的一个逻辑表达式如果对于其变元的任一种取值均为真，则成为重言式；反之，如果对于其变元的任一种取值都为假，则称为矛盾式，然而，更多的情况下，既非重言式，也非矛盾式。写一个程序通过真值表判别一个逻辑表达式属于上述哪一类。二．实验内容程序执行的命令（1）输入逻辑表达式（2）判断表达式是重言式还是矛盾式（3）若既不是重言式也不是矛盾式，则对变元取定值，并显示逻辑表达式的值（4）结束

2、测试数据(1)(A

3、~A)&(B

4、~B)(2)(A&~A)&C(3)A

5、B

6、C

7、D

8、E

9、~A(4)A&B&C&~B(5)(A

10、B)&(A

11、~B)(6)A&~B

12、~A&B;输出结果TrueForeverFalseForeverTrueForeverFalseForeverStatisfactibleStatisfactible三．实验步骤（可选）函数头#include#include#include#include5广东工业大学实验报告自动化学院网络工程专业1班

13、学号3111001313姓名钟运文成绩评定_______教师签名许亮实验9题目重言式判别课程名称数据结构A函数状态码定义#defineTRUE1#defineFALSE0#defineOK1#defineERROR0#defineINFEASIBLE-2#defineNULL0typedefintStatus;栈类型#defineinitstackmax100;typedefstructbittree{chardata;bittree*left;//左孩子指针bittree*right;//右孩子指针}bittree,*bit;//

14、二叉树类型structstack{bit*base;//在栈构造之前和销毁之后，base的值为NULLinttop;//栈顶指针intstacksize;//当前已分配的存储空间，以元素为单位};重言式判别函数voidjudge(bitroot,charbo[],intnu)//重言式的判别{intsample[30];charbl[20],t;intm=0,lzq,value,count=0,tu=0,fa=0,sat=0;for(intk=0;k=65&&bo[k]<=90){intmark=0

15、;for(intj=0;j>j)%2;lz

16、q--;}value=getvalue(root,sample);if(value){tu++;if(fa>0){printf("satisfactible");sat=1;break;}if(tu==numall){printf("Tureforever");}}else{fa++;if(tu>0){printf("satisfactible");sat=1;break;}else{if(fa==numall)printf("Falseforever");}5广东工业大学实验报告自动化学院网络工程专业1班学号31110

17、01313姓名钟运文成绩评定_______教师签名许亮实验9题目重言式判别课程名称数据结构A}}if(sat==1){printf("请给变量赋值,c代表继续，e代表停止");scanf("%c",&t);while(t){if(t=='c'){for(i=0;i<=m;i++)printf("%c",&bl[i]);user(root,m,bl);}elsebreak;}}}四．实验的结果及分析。执行命令1键入逻辑表达式(A

18、~A)&(B

19、~B)判断出该逻辑表达式是重言式执行命令1输入逻辑表达式(A&~A)&C判断出该逻辑表达式是

20、矛盾式执行命令1键入逻辑表达式(A

21、B)&(A

22、~B)判断出该逻辑表达式既不是重言式也不是矛盾式若对表达式变元取定一组值，程序显示逻辑表达式的值5广东工业大学实验报告自动化学院网络工程专业1班学号3111001313姓名钟运文成绩评定