- 1、本文档共8页,可阅读全部内容。
- 2、原创力文档(book118)网站文档一经付费(服务费),不意味着购买了该文档的版权,仅供个人/单位学习、研究之用,不得用于商业用途,未经授权,严禁复制、发行、汇编、翻译或者网络传播等,侵权必究。
- 3、本站所有内容均由合作方或网友上传,本站不对文档的完整性、权威性及其观点立场正确性做任何保证或承诺!文档内容仅供研究参考,付费前请自行鉴别。如您付费,意味着您自己接受本站规则且自行承担风险,本站不退款、不进行额外附加服务;查看《如何避免下载的几个坑》。如果您已付费下载过本站文档,您可以点击 这里二次下载。
- 4、如文档侵犯商业秘密、侵犯著作权、侵犯人身权等,请点击“版权申诉”(推荐),也可以打举报电话:400-050-0827(电话支持时间:9:00-18:30)。
- 5、该文档为VIP文档,如果想要下载,成为VIP会员后,下载免费。
- 6、成为VIP后,下载本文档将扣除1次下载权益。下载后,不支持退款、换文档。如有疑问请联系我们。
- 7、成为VIP后,您将拥有八大权益,权益包括:VIP文档下载权益、阅读免打扰、文档格式转换、高级专利检索、专属身份标志、高级客服、多端互通、版权登记。
- 8、VIP文档为合作方或网友上传,每下载1次, 网站将根据用户上传文档的质量评分、类型等,对文档贡献者给予高额补贴、流量扶持。如果你也想贡献VIP文档。上传文档
查看更多
利用真值表法求取主析取范式以及主合取范式的实现.
#include stdio.h
#include stdlib.h
#include string.h
#include math.h
#define N 50
void pd(int b[N],int f);
int H1 (char T1[N], char T2[N], int T3[N], int y);
int H2 (char T1[N], char T2[N], int T3[N], int y);
int main()
{
int i1,i2,d=1,T3[N],kh=0,jg,j=0,y;
int w=0,hequ[N],h=0,x=0,xiqu[N];
char T1[N],T2[N],T10[N],s;
hequ[0]=-1;
xiqu[0]=-1;
printf(#########################################\n);
printf(## 用!表示否定 ##\n);
printf(## 用表示合取 ##\n);
printf(## 用|表示析取 ##\n);
printf(## 用^表示条件 ##\n);
printf(## 用~表示双条件 ##\n);
printf(#########################################\n\n);
printf(请输入一个合法的命题公式:\n);
gets(T1);
strcpy(T10,T1);
for(i1=0;i1strlen(T1);i1++)
{
if(T1[i1]==) || T1[i1]==()
kh++;
if(T1[i1]=a T1[i1]=z || T1[i1]=A T1[i1]=Z)
{
for(i2=0;i2j;i2++)
if(T2[i2]==T1[i1])
d=0;
if(d==1)
{
T2[j]=T1[i1];
j++;
}
d=1;
}
}
printf(\n输出真值表如下:\n \n);
for(i1=0;i1y;i1++)
printf( %c ,T2[i1]);
printf( );
puts(T1);
printf(\n);
for(i1=0;i1j;i1++)
T3[i1]=0;
for(i2=0;i2j;i2++)
printf( %d ,T3[i2]);
jg=H1(T1,T2,T3,y);
if(jg==0)
hequ[h++]=w;
else
xiqu[x++]=w;
printf( %d\n,jg);
strcpy(T1,T10);
for(i1=0;i1(int)pow(2,j)-1;i1++)
{
++w;
pd(T3,j-1);
jg=H1(T1,T2,T3,y);
if(jg==0)
hequ[h++]=w;
else
xiqu[x++]=w;
strcpy(T1,T10);
for(i2=0;i2j;i2++)
printf( %d ,T3[i2]);
printf( %d\n,jg);
}
if(hequ[0]==-1)
printf(\n该命题公式不存在主合取范式。\n);
else
{
printf(\n主合取范式:\n\t);
for(i1=0;i1h;i1++)
{
if (i10)
printf(/\\);
printf(M(%d),hequ[i1]);
}
}
if(xiqu[0]==-1)
printf(\n该命
文档评论(0)