上机实验指导及参考源程序

《上机实验指导及参考源程序》由会员上传分享，免费在线阅读，更多相关内容在工程资料-天天文库。

1、上机实验指导及参考源程序徐凤生第1章命题逻辑1.实验内容（1）求任意一个命题公式的真值表。（2）利用真值表求任意一个命题公式的主范式。（3）利用真值表进行逻辑推理。注：（2）和（3）可在（1）的基础上完成。2.实验目的真值表是命题逻辑中的一个十分重要的概念，利川它儿乎町以解决命题逻辑中的所有问题。例如，利用命题公式的真值表，可以判断命题公式的类型、求命题公式的主范式、判断两命题公式是否等价，还可以进行推理等。木实验通过编写一个程序，让计算机给出命题公式的真值表，并在此基础上进行命题公式类型的判定、求命题公式的主范式等。目的是让学生更加深刻地理解真值表的概念,并掌握真值表的求解方法及其在解决

2、命题逻辑屮其他问题中的应用。3.算法的主要思想利用计算机求命题公式真值表的关键是：①给出命题变元的每一组赋值；②计算命题公式在每一组赋值下的真值。真值表中命题变元的取值具有如下规律：每列中0和1是交替出现的，且0和1连续出现的个数相同。n个命题变元的每组赋值的生成算法可基于这种思想。含有n个命题变元的命题公式的真值的计算采用的方法为“算符优先法”。为了程序实现的方便，约定命题变元只用一个字母表示，非、合取、析取、条件和双条件联结词分别用！、&、I、一、+来表示。算符之间的优先关系如表1-32所示：表1-32算符优先级+1&1•()@+><<<<<>>—>><<<<>>1>>><<<>>&>

3、>>><<>>1•>>>>><>>(<<<<<<——E)>>>>>E>>@<<<<<

4、cludeMstdio.h"#include#includctypedefstiuctoptrstack{charoper[30];intloc;}OPStack;voidinitop(OPStack&op){inti;op」oc=0;for(i=0;i<30;i++)op.oper[i]=';}voidpush(OPStack&op,charc){op.oper[op」()c++]=c;}charpop(OPStack&op){rclurn(op.opcr[-op.loc]);)typedefstiuctopndstack{intoper[60];

5、intloc;}OPndStack;voidinitopnd(OPndStack&op)inti;op」oc=0;for(i=0;i<30;i++)op.operli]=*;)voidpushopnd(OPndStack&op,intc){op.oper[op.loc++]=c;}intpopopnd(OPndStack&op){retum(op.oper[-op.loc]);}voidinit(chars[]){intt;printfC请输入任意一个命题公式(命题变元为一个字符)“)；primff非、析取、合取、条件、双条件词分别用符号!、I、&、-、+表示”);gets

6、(s);t=stiien(s);s[t]=@;sH+l]=O‘；}intis_optr(charc){charoptrJist[]=n+-I&!()@for(inti=0;i<(int)strlen(optr_list);i++)if(c==optr_list[i])retum1;return0;}charfirst(charopl,charop2){chartab[8][9]={"x««»",'*»»«»",•«««=EH,,»»>E»,•«««E=U,charoptr_list[]="+-l&!()@";//双条件、条件、析取、合取、非intopljoc,op2_loc;for(o

7、pl_loc=0;oplJoc<(int)strlen(optr_list);oplJoc++)if(optr_list[opI_locJ==opl)break;for(op2_loc=0;op2_Ioc<(int)strlen(optr_list);op2_Ioc++)if(optr_list[op2_loc]==op2)break;returntabfop1_loc]fop2_loc];)intoperate(int