离散数学-逻辑学-命题公式求真值表

离散逻辑学实验班级：10电信实验班学号：Q10600132姓名：王彬彬一、实验目的熟悉掌握命题逻辑中的联接词、真值表、主范式等，进一步能用它们来解决实际问题。二、实验内容1.从键盘输入两个命题变元P和Q的真值，求它们的合取、析取、条件和双条件的真值。（A）2.求任意一个命题公式的真值表（B，并根据真值表求主范式（C））三、实验环境C或C＋＋语言编程环境实现。四、实验原理和实现过程（算法描述）1.实验原理（1）合取：二元命题联结词。将两个命题P、Q联结起来，构成一个新的命题P∧Q,读作P、Q的合取,也可读作P与Q。这个新命题的真值与构成它的命题P、Q的真值间的关系为只有当两个命题变项P=T,Q=T时方可P∧Q=T,而P、Q只要有一为F则P∧Q=F。这样看来，P∧Q可用来表示日常用语P与Q,或P并且Q。（2）析取：二元命题联结词。将两个命题P、Q联结起来，构成一个新的命题P∨Q,读作P、Q的析取,也可读作P或Q。这个新命题的真值与构成它的命题P、Q的真值间的关系为只有当两个命题变项P=F,Q=F时方可P∨Q=F,而P、Q只要有一为T则P∨Q=T。这样看来，P∨Q可用来表示日常用语P或者Q。（3）条件：二元命题联结词。将两个命题P、Q联结起来，构成一个新的命题P→Q,读作P条件Q,也可读作如果P，那么Q。这个新命题的真值与构成它的命题P、Q的真值间的关系为只有当两个命题变项P=T,Q=F时方可P→Q=F,其余均为T。（4）双条件：二元命题联结词。将两个命题P、Q联结起来，构成一个新的命题P←→Q,读作P双条件于Q。这个新命题的真值与构成它的命题P、Q的真值间的关系为当两个命题变项P=T,Q=T时方可P←→Q=T,其余均为F。（5）真值表:表征逻辑事件输入和输出之间全部可能状态的表格。列出命题公式真假值的表。通常以1表示真，0表示假。命题公式的取值由组成命题公式的命题变元的取值和命题联结词决定，命题联结词的真值表给出了真假值的算法。真值表是在逻辑中使用的一类数学表，用来确定一个表达式是否为真或有效。（6）主范式：主析取范式：在含有n个命题变元的简单合取式中,若每个命题变元与其否定不同时存在,而两者之一出现一次且仅出现一次,称该简单合取式为小项。由若干个不同的小项组成的析取式称为主析取范式;与A等价的主析取范式称为A的主析取范式。任意含n个命题变元的非永假命题公式A都存在与其等价的主析取范式,并且是惟一的。主合取范式：在含有n个命题变元的简单析取式中,若每个命题变元与其否定不同时存在,而两者之一出现一次且仅出现一次,称该简单析取式为大项。由若干个不同的大项组成的合取式称为主合取范式;与A等价的主合取范式称为A的主合取范式。任意含n个命题变元的非永真命题公式A都存在与其等价的主合取范式,并且是惟一的。五、代码设计结果：六、代码：#includestdio.h#includestdlib.h#includestring.h#includeconio.h#includemath.h#defineN50voidpanduan(intb[N],intf);//赋值函数inttkh(charsz[N],charccu[N],inticu[N],inth0);//分级运算函数intfkh(charsz[N],charccu[N],inticu[N],inth0);//主运算函数voidzhumain(){inti1,i2,d=1,icu[N],kh=0,jg,j=0,h0;//icu[N]用于存放变量值,kh括号计数,jg存放结果intbj=0,hq[N],h=0,x=0,xq[N];//hq[N]存放合取结果xq[N]存放析取结果charsz[N],ccu[N],sz0[N],s;//sz[N]存放式子,ccu[N]存放变量,sz0[N]也是用于存放式子hq[0]=-1;xq[0]=-1;printf(***************************************\n);//标语printf(****\n);printf(**欢迎进入逻辑运算软件**\n);printf(**(可运算真值表，主范式，支持括号)**\n);printf(****\n);printf(**用!表示非**\n);printf(**用&表示与**\n);printf(**用|表示或**\n);printf(**用^表示蕴含**\n);printf(**用~表示等值**\n);printf(****\n);printf(***************************************\n\n);printf(请输入一个合法的命题公式:\n);//输入式子gets(sz);//读取式子strcpy(sz0,sz);//复制式子for(i1=0;i1strlen(sz);i1++){if(sz[i1]==')'||sz[i1]=='(')//存储括号数量kh++;if(sz[i1]='a'&&sz[i1]='z'||sz[i1]='A'&&sz[i1]='Z'){for(i2=0;i2j;i2++)//判断并储存变量。if(ccu[i2]==sz[i1])//去除重复变量d=0;if(d==1){ccu[j]=sz[i1];j++;}d=1;}}printf(\nd该式子中的变量个数为：%d\n,j);//输出变量个数h0=j;printf(\n输出真值表如下：\n\n);//输出真值表表头for(i1=0;i1h0;i1++)printf(%c,ccu[i1]);printf();puts(sz);printf(\n);for(i1=0;i1j;i1++)///////先将所有的变量赋值为零。icu[i1]=0;for(i2=0;i2j;i2++)//输出真值表前项printf(%d,icu[i2]);jg=tkh(sz,ccu,icu,h0);//用函数求结果if(jg==0)//结果为0，合取加1hq[h++]=bj;else//否则，析取加1xq[x++]=bj;printf(%d\n,jg);//输出运算结果strcpy(sz,sz0);for(i1=0;i1(int)pow(2,j)-1;i1++){++bj;panduan(icu,j-1);//赋值变量jg=tkh(sz,ccu,icu,h0);if(jg==0)//结果为0，合取加1hq[h++]=bj;else//否则，析取加1xq[x++]=bj;strcpy(sz,sz0);//恢复被修改的数组。for(i2=0;i2j;i2++)printf(%d,icu[i2]);//输出真值表前项printf(%d\n,jg);//输出运算结果}if(hq[0]==-1)//不存在合取范式时printf(\n该命题公式不存在主合取范式。\n);else{printf(\n该命题公式的主合取范式：\n\t);for(i1=0;i1h;i1++){if(i10)//判断并添加符号printf(\\/);printf(M(%d),hq[i1]);//输出主合取范式}}if(xq[0]==-1)//不存在析取范式时printf(\n该命题公式不存在主析取范式。\n);else{printf(\n\n该命题公式的主析取范式：\n\t);for(i1=0;i1x;i1++){if(i10)//判断并添加符号printf(/\\);printf(m(%d),xq[i1]);//输出主析取范式}}printf(\n);}voidpanduan(intb[N],intf)//二进制赋值。{inti;i=f;if(b[f]==0)//加1b[f]=1;else//进位{b[f]=0;panduan(b,--i);}}inttkh(charsz[N],charccu[N],inticu[N],inth0)//分级运算函数{inti,j,h,s,kh=0,wz[N],a;charxs1[N],ckh[N];//xs1用来保存括号内的字符ckh用来保存括号。s=strlen(sz);for(i=0;is;i++)if(sz[i]=='('||sz[i]==')')//判断括号{wz[kh]=i;//存储括号位置ckh[kh]=sz[i];//存储括号类型kh++;}if(kh==0)returnfkh(sz,ccu,icu,h0);//如果无括号，直接运行else{for(i=0;ikh;i++)if(ckh[i]==')')//找到第一个）break;for(j=wz[i-1]+1,h=0;jwz[i];j++,h++)//存储最内级括号中的内容xs1[h]=sz[j];xs1[h]='\0';a=fkh(xs1,ccu,icu,h0);//运行最内级括号的式子，得到结果if(a==1)//判断并存储结果sz[wz[i-1]]=1;elsesz[wz[i-1]]=-2;for(j=wz[i-1]+1;js+wz[i-1]-wz[i];j++)//将括号后内容前移sz[j]=sz[j+wz[i]-wz[i-1]];sz[j]='\0';returntkh(sz,ccu,icu,h0);//循环执行}}intfkh(charsz[N],charccu[N],inticu[N],inth0)//主运算函数{inti,h=0,j=0,j1=0,j2=0,j3=0,j4=0,j5=0,i1,i2,p1=-1,p2=-1,s;chardt[N];s=strlen(sz);if(s==1)if(sz[0]==-2)//判断是否是最后一项return0;elsereturn1;//1就是sz[0]的值、else{for(i=0;is-j;i++)//先处理非if(sz[i]=='!'){for(i1=0;i1h0;i1++)if(sz[i+1]==ccu[i1])//将变量赋值并给P1p1=icu[i1];if(sz[i+1]==-2)//如果是前运算结果的0，则P1等于0p1=0;if(p1==-1)//如果是数字，直接给P1p1=sz[i+1];dt[j+2]=!p1;//非运算sz[i]=j+2;j++;p1=0;for(i1=i+1;i1s-j;i1++)sz[i1]=sz[i1+1];//将后续式子前移一项}p1=-1;j1=j;for(i=0;is-j1-2*j2;i++)//处理与if(sz[i]=='&'){for(i1=0;i1h0;i1++){if(sz[i-1]==ccu[i1])//将变量赋值并给P1p1=icu[i1];if(sz[i+1]==ccu[i1])//将变量赋值并给P2p2=icu[i1];}for(i2=2;i2j+2;i2++){if(sz[i-1]==i2)//如果为前计算结果，将结果赋值并给P1p1=dt[i2];if(sz[i+1]==i2)//如果为前计算结果，将结果赋值并给P2p2=dt[i2];}if(sz[i-1]==-2)//如果是前运算结果的0，则P1等于0p1=0;if(sz[i+1]==-2)//如果是前运算结果的0，则P2等于0p2=0;if(p1==-1)//如果是数字，直接给P1p1=(int)(sz[i-1]);if(p2==-1)//如果是数字，直接给P2p2=(int)(sz[i+1]);dt[j+2]=p1&&p2;//与运算sz[i-1]=j+2;j++;j2++;p1=-1;p2=-1;for(i1=i;i1s-j1-2*j2;i1++)//将后续式子前移两项sz[i1]=sz[i1+2];i=i-1;}for(i=0;is-j1-2*j2-2*j3;i++)//处理或。if(sz[i]=='|'){for(i1=0;i1h0;i1++){if(sz[i-1]==ccu[i1])//将变量赋值并给P1p1=icu[i1];if(sz[i+1]==ccu[i1])