用c语言求真值表以及主析取式，请大神指点

FgFan_ 2018-03-20 08:46:00

//'|'表示'\/','&'表示'/\','!'表示'非','>'表示'→','-'表示'↔'
#include<stdio.h>
#define n 50
//计算输入公式的真值
int key(char *a,int *b){
int i,k;
for(i=0;i<n;i++)
switch(a[i])
{
case'!':
b[i+1]=!b[i+1];break;
case'&':
if(a[i+1]=='!')
{b[i+1]=b[i-1]&&!b[i+2];
b[i+2]=!b[i+1];break;}
else
b[i+1]=b[i-1]&&b[i+1];break;
case'|':
if(a[i+1]=='!')
{b[i+1]=b[i-1]||!b[i+2];
b[i+2]=!b[i+1];break;}
else
b[i+1]=b[i-1]||b[i+1];break;
case'>':
if(a[i+1]=='!')
{b[i+1]=!b[i-1]||!b[i+2];
b[i+2]=!b[i+1];break;}
else
b[i+1]=!b[i-1]||b[i+1];break;
case'-':
if(a[i+1]=='!')
{b[i+1]=(b[i-1]&&!b[i+2])||(!b[i-1]&&b[i+2]);
b[i+2]=!b[i+1];break;}
else
b[i+1]=(b[i-1]&&b[i+1])||(!b[i-1]&&!b[i+1]);break;
case'#':
k=b[i-1];
default:
break;
}
return k;
}
//……………………………………………………………………………………//
int main(){
char a[n],c[3]={'#','#','#'},x[n];
int i,b[n],z=0;
printf("请输入含三个以内变量合法的合式公式（以“#”结尾）：\n");
scanf("%s",a);
// 真值表第一行
for(i=0;i<n;i++)
{
if(a[i]=='!'||a[i]=='&'||a[i]=='|'||a[i]=='-'||a[i]=='>')
b[i]=-1;
if((a[i]>=65&&a[i]<=90)||(a[i]>=97&&a[i]<=122))
{
b[i]=1;
if(a[i]!=c[0]||a[i]!=c[1]||a[i]!=c[2])
{
if(c[0]=='#'&&c[1]!=a[i]&&c[2]!=a[i])
c[0]=a[i];
if(c[1]=='#'&&c[0]!=a[i]&&c[2]!=a[i])
c[1]=a[i];
if(c[2]=='#'&&c[0]!=a[i]&&c[1]!=a[i])
c[2]=a[i];
}
}
if(a[i]=='#')
{
b[i]=35;
break;
}
}
for(i=0;i<3;i++)
{
if(c[i]=='#')
break;
printf("%c\t",c[i]);
}
for(i=0;i<n;i++)
{
if(a[i]=='#')
break;
printf("%c",a[i]);
}
putchar(10);
for(i=0;i<3;i++)
{
if(c[i]=='#')
break;
printf("1\t");
}
// 主析取部分
if(key(a,b)==1)
{
if(c[0]!='#'&&c[1]=='#')
x[0]=c[0];
if(c[2]=='#'&&c[1]!='#')
{x[z++]='(';x[z++]=c[0];x[z++]='&';x[z++]=c[1];x[z++]=')';}
if(c[2]!='#')
{x[z++]='(';x[z++]=c[0];x[z++]='&';x[z++]=c[1];x[z++]='&';x[z++]=c[2];x[z++]=')';}
}
// 公式真值
printf("%d\n",key(a,b));
// 真值表第二行
if(c[1]!='#')
{
for(i=0;i<n;i++)
{
if(c[1]=='#')//1
if(a[i]==c[0])
b[i]=0;
if(c[2]=='#')//2
{if(a[i]==c[0]) b[i]=1;
if(a[i]==c[1]) b[i]=0;}
if(c[2]!='#')//3
{if(a[i]==c[0]) b[i]=1;
if(a[i]==c[1]) b[i]=1;
if(a[i]==c[2]) b[i]=0;}
}
for(i=0;i<3;i++)
{
if(i==0&&c[i]!='#'&&c[i+1]!='#'&&c[i+2]=='#')//二1
printf("1\t");
if(i==0&&c[i]!='#'&&c[i+1]!='#'&&c[i+2]!='#')//三1
printf("1\t");
if(i==1&&c[i]!='#'&&c[i+1]=='#')//二2
printf("0\t");
if(i==1&&c[i]!='#'&&c[i+1]!='#')//三2
printf("1\t");
if(i==2&&c[i]!='#')//三3
printf("0\t");
}
// 主析取部分
if(key(a,b)==1)
{
if(c[2]=='#')
{x[z++]='|';x[z++]='(';x[z++]=c[0];x[z++]='&';x[z++]='!';x[z++]=c[1];x[z++]=')';}
if(c[2]!='#')
{x[z++]='|';x[z++]='(';x[z++]=c[0];x[z++]='&';x[z++]=c[1];x[z++]='&';x[z++]='!';x[z++]=c[2];x[z++]=')';}
}
// 公式真值
printf("%d\n",key(a,b));
}
// 真值表第三行
if(c[1]!='#')
{
for(i=0;i<n;i++)
{
if(c[2]=='#')//2
{if(a[i]==c[0]) b[i]=0;
if(a[i]==c[1]) b[i]=1;}
if(c[2]!='#')//3
{if(a[i]==c[0]) b[i]=1;
if(a[i]==c[1]) b[i]=0;
if(a[i]==c[2]) b[i]=1;}
}
for(i=0;i<3;i++)
{
if(i==0&&c[i]!='#'&&c[i+1]!='#'&&c[i+2]=='#')//二1
printf("0\t");
if(i==0&&c[i]!='#'&&c[i+1]!='#'&&c[i+2]!='#')//三1
printf("1\t");
if(i==1&&c[i]!='#'&&c[i+1]=='#')//二2
printf("1\t");
if(i==1&&c[i]!='#'&&c[i+1]!='#')//三2
printf("0\t");
if(i==2&&c[i]!='#')//三3
printf("1\t");
}
// 主析取部分
if(key(a,b)==1)
{
if(c[2]=='#')
{x[z++]='|';x[z++]='(';x[z++]='!';x[z++]=c[0];x[z++]='&';x[z++]=c[1];x[z++]=')';}
if(c[2]!='#')
{x[z++]='|';x[z++]='(';x[z++]=c[0];x[z++]='&';x[z++]='!';x[z++]=c[1];x[z++]='&';x[z++]=c[2];x[z++]=')';}
}
// 公式真值
printf("%d\n",key(a,b));
}
// 真值表第四行
if(c[2]!='#')
{
for(i=0;i<n;i++)
{
if(c[2]!='#')//3
{if(a[i]==c[0]) b[i]=1;
if(a[i]==c[1]) b[i]=0;
if(a[i]==c[2]) b[i]=0;}
}
for(i=0;i<3;i++)
{
if(i==0&&c[i]!='#'&&c[i+1]!='#'&&c[i+2]!='#')//三1
printf("1\t");
if(i==1&&c[i]!='#'&&c[i+1]!='#')//三2
printf("0\t");
if(i==2&&c[i]!='#')//三3
printf("0\t");
}
// 主析取部分
if(key(a,b)==1)
{x[z++]='|';x[z++]='(';x[z++]=c[0];x[z++]='&';x[z++]='!';x[z++]=c[1];x[++z]='&';x[++z]='!';x[++z]=c[2];x[++z]=')';}
// 公式真值
printf("%d\n",key(a,b));
}
// 真值表第五行
if(c[2]!='#')
{
for(i=0;i<n;i++)
{
if(c[2]!='#')//3
{if(a[i]==c[0]) b[i]=0;
if(a[i]==c[1]) b[i]=1;
if(a[i]==c[2]) b[i]=1;}
}
for(i=0;i<3;i++)
{
if(i==0&&c[i]!='#'&&c[i+1]!='#'&&c[i+2]!='#')//三1
printf("0\t");
if(i==1&&c[i]!='#'&&c[i+1]!='#')//三2
printf("1\t");
if(i==2&&c[i]!='#')//三3
printf("1\t");
}
// 主析取部分
if(key(a,b)==1)
{x[z++]='|';x[z++]='(';x[z++]='!';x[z++]=c[0];x[z++]='&';x[z++]=c[1];x[z++]='&';x[z++]=c[2];x[z++]=')';}
// 公式真值
printf("%d\n",key(a,b));
}
// 真值表第六行
if(c[2]!='#')
{
for(i=0;i<n;i++)
{
if(c[2]!='#')//3
{if(a[i]==c[0]) b[i]=0;
if(a[i]==c[1]) b[i]=1;
if(a[i]==c[2]) b[i]=0;}
}
for(i=0;i<3;i++)
{
if(i==0&&c[i]!='#'&&c[i+1]!='#'&&c[i+2]!='#')//三1
printf("0\t");
if(i==1&&c[i]!='#'&&c[i+1]!='#')//三2
printf("1\t");
if(i==2&&c[i]!='#')//三3
printf("0\t");
}
// 主析取部分
if(key(a,b)==1)
{x[z++]='|';x[z++]='(';x[z++]='!';x[z++]=c[0];x[z++]='&';x[z++]=c[1];x[z++]='&';x[z++]='!';x[z++]=c[2];x[z++]=')';}
// 公式真值
printf("%d\n",key(a,b));
}
// 真值表第七行
if(c[2]!='#')
{
for(i=0;i<n;i++)
{
if(c[2]!='#')//3
{if(a[i]==c[0]) b[i]=0;
if(a[i]==c[1]) b[i]=0;
if(a[i]==c[2]) b[i]=1;}
}
for(i=0;i<3;i++)
{
if(i==0&&c[i]!='#'&&c[i+1]!='#'&&c[i+2]!='#')//三1
printf("0\t");
if(i==1&&c[i]!='#'&&c[i+1]!='#')//三2
printf("0\t");
if(i==2&&c[i]!='#')//三3
printf("1\t");
}
// 主析取部分
if(key(a,b)==1)
{x[z++]='|';x[z++]='(';x[z++]='!';x[z++]=c[0];x[z++]='&';x[z++]='!';x[z++]=c[1];x[z++]='&';x[z++]=c[2];x[z++]=')';}
// 公式真值
printf("%d\n",key(a,b));
}
// 真值表第八行
for(i=0;i<n;i++)
{
if(a[i]=='!'||a[i]=='&'||a[i]=='|'||a[i]=='-'||a[i]=='>')
b[i]=-1;
if((a[i]>=65&&a[i]<=90)||(a[i]>=97&&a[i]<=122))
{
b[i]=0;
}
if(a[i]=='#')
{
b[i]=35;
break;
}
}
for(i=0;i<3;i++)
{
if(c[i]=='#')
break;
printf("0\t");
}
// 主析取部分
if(key(a,b)==1)
{
if(c[0]!='#'&&c[1]=='#')
{x[0]='!';x[1]=c[0];}
if(c[1]!='#'&&c[2]=='#')
{x[z++]='|';x[z++]='(';x[z++]='!';x[z++]=c[0];x[z++]='&';x[z++]='!';x[z++]=c[1];x[z++]=')';}
if(c[2]!='#')
{x[z++]='|';x[z++]='(';x[z++]='!';x[z++]=c[0];x[z++]='&';x[z++]='!';x[z++]=c[1];x[z++]='&';x[z++]='!';x[z++]=c[2];x[z++]=')';}

}
// 公式真值
printf("%d\n",key(a,b));
// 输出主析取范式
putchar(10);
printf("主析取范式：");
if(x[0]!='|')
printf("%c",x[0]);
for(i=1;i<n;i++)
if(x[i]>=0&&x[i]<=127&&x[i]!=35)
printf("%c",x[i]);
putchar(10);
return 0;
}

问题：输入类似“Q|P|R#”的公式时，输出的主析取范式会不完整且输出的真值表也会出现错误。
可能是求主析取范式的部分有错误，把主析取部分都去掉时，输出的真值表是没有问题的。
请求大佬帮助！

...全文

954 5 打赏收藏转发到动态举报

写回复

用AI写文章

5 条回复

切换为时间正序

请发表友善的回复…

发表回复

赵4老师 2018-03-21

打赏
举报

https://bbs.csdn.net/topics/380157851

自信男孩 2018-03-21

打赏
举报

x[z++]='|';x[z++]='(';x[z++]='!';x[z++]=c[0];x[z++]='&';x[z++]='!';x[z++]=c[1];x[z++]='&';x[z++]=c[2];x[z++]=')';

这么写代码不感觉看着都费劲吗？

赵4老师 2018-03-21

打赏
举报

int L=sprintf(x+z,"|(!%c&!%c&%c)",c[0],c[1],c[2]);z+=L;

FgFan_ 2018-03-21

打赏
举报

引用 2 楼自信男孩的回复:

x[z++]='|';x[z++]='(';x[z++]='!';x[z++]=c[0];x[z++]='&';x[z++]='!';x[z++]=c[1];x[z++]='&';x[z++]=c[2];x[z++]=')';

这么写代码不感觉看着都费劲吗？

累啊，但是小白刚入门，想不到什么更好的方法。。

FgFan_ 2018-03-20

打赏
举报

用vc++6.0编译的

c语言离散数学程序设计，求真值表，析取，合取 真值表，析取，合取程序设计，离散数学，C语言，小程序，报告自己编的小程序，拿来和大家分享希望有用，初学离散懒得算的也可以用用

根据给定的文档标题、描述、标签以及部分内容，下面是对各个关键知识点的详细解析： ### 1. C 语言中的指针和内存泄漏 #### 引言在使用C语言进行编程时，指针和内存泄漏是开发者经常遇到且需要解决的问题。这些...

1、 c语言具有语法简洁的特点,相信用过其他语言的人都知道　2、运算符丰富,让我有时侯都分不清　3、数据结构类型丰富　4、结构化,就是想一小块一小块的程序,这样写起来容易　5、强语言类型，语法错误时...

《C语言经典编程900例》是一本深入学习C语言编程的宝贵资源，它包含了900个经典的编程实例，旨在帮助读者掌握C语言的基础和高级特性，提高实际编程能力。这本书通过丰富的实例，让学习者能够在实践中理解C语言的语法...

在这个项目中，开发者用C语言编写了游戏的所有逻辑，包括飞机移动、子弹发射、敌机生成、碰撞检测等，展示了C语言的灵活性和效率。 1. **内存管理**：在C语言中，内存管理是程序员的责任。游戏中的对象（如飞机、...

C语言

70,026

社区成员

243,262

社区内容

发帖

与我相关

我的任务

社区管理员

加入社区

近7日
近30日
至今

加载中

查看更多榜单

社区公告

暂无公告

试试用AI创作助手写篇文章吧

+ 用AI写文章