用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#”的公式时，输出的主析取范式会不完整且输出的真值表也会出现错误。
可能是求主析取范式的部分有错误，把主析取部分都去掉时，输出的真值表是没有问题的。
请求大佬帮助！
...全文
951 5 打赏 收藏 转发到动态 举报
AI 作业
写回复
用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语言离散数学程序设计，求真值表，析取，合取 真值表，析取，合取程序设计，离散数学，C语言，小程序，报告 自己编的小程序，拿来和大家分享 希望有用，初学离散懒得算的也可以用用
免费下载:C语言难点分析整理.doc
1. C 语言中的指针和内存泄漏 5 2. C语言难点分析整理 10 3. C语言难点 18 4. C/C++实现冒泡排序算法 32 5. C++中指针和引用的区别 35 6. const char*, char const*, char*const的区别 36 7. C中可变参数函数实现 38 8. C程序内存中组成部分 41 9. C编程拾粹 42 10. C语言中实现数组的动态增长 44 11. C语言中的位运算 46 12. 浮点数的存储格式： 50 13. 位域 58 14. C语言函数二维数组传递方法 64 15. C语言复杂表达式的执行步骤 66 16. C语言字符串函数大全 68 17. C语言宏定义技巧 89 18. C语言实现动态数组 100 19. C语言笔试-运算符和表达式 104 20. C语言编程准则之稳定篇 107 21. C语言编程常见问题分析 108 22. C语言编程易犯毛病集合 112 23. C语言缺陷与陷阱(笔记) 119 24. C语言防止缓冲区溢出方法 126 25. C语言高效编程秘籍 128 26. C运算符优先级口诀 133 27. do/while(0)的妙用 134 28. exit()和return()的区别 140 29. exit子程序终止函数与return的差别 141 30. extern与static存储空间矛盾 145 31. PC-Lint与C\C++代码质量 147 32. spirntf函数使用大全 158 33. 二叉树的数据结构 167 34. 位运算应用口诀和实例 170 35. 内存对齐与ANSI C中struct内存布局 173 36. 冒泡和选择排序实现 180 37. 函数指针数组与返回数组指针的函数 186 38. 右左法则- 复杂指针解析 189 39. 回车和换行的区别 192 40. 堆和堆栈的区别 194 41. 堆和堆栈的区别 198 42. 如何写出专业的C头文件 202 43. 打造最快的Hash表 207 44. 指针与数组学习笔记 222 45. 数组不是指针 224 46. 标准C中字符串分割的方法 228 47. 汉诺塔源码 231 48. 洗牌算法 234 49. 深入理解C语言指针的奥秘 236 50. 游戏外挂的编写原理 254 51. 程序实例分析-为什么会陷入死循环 258 52. 空指针究竟指向了内存的哪个地方 260 53. 算术表达式的计算 265 54. 结构体对齐的具体含义 269 55. 连连看AI算法 274 56. 连连看寻路算法的思路 283 57. 重新认识:指向函数的指针 288 58. 链表的源码 291 59. 高质量的子程序 295 60. 高级C语言程序员测试必过的十六道最佳题目+答案详解 297 61. C语言常见错误 320 62. 超强的指针学习笔记 325 63. 程序员之路──关于代码风格 343 64. 指针、结构体、联合体的安全规范 346 65. C指针讲解 352 66. 关于指向指针的指针 368 67. C/C++ 误区一：void main() 373 68. C/C++ 误区二：fflush(stdin) 376 69. C/C++ 误区三：强制转换 malloc() 的返回值 380 70. C/C++ 误区四：char c = getchar(); 381 71. C/C++ 误区五：检查 new 的返回值 383 72. C 是 C++ 的子集吗？ 384 73. C和C++的区别是什么？ 387 74. 无条件循环 388 75. 产生随机数的方法 389 76. 顺序表及其操作 390 77. 单链表的实现及其操作 391 78. 双向链表 395 79. 程序员数据结构笔记 399 80. Hashtable和HashMap的区别 408 81. hash 表学习笔记 410 82. C程序设计常用算法源代码 412 83. C语言有头结点链表的经典实现 419 84. C语言惠通面试题 428 85. C语言常用宏定义 450
C语言大全第4版+源码(PDF)
本书是“C：The Complete Beference”的第四版。在第一版问世以来的几年中，程序设计领域已经发生了很大变化。Internet和World Wide Web已成为计算领域一道亮丽的风景，Java已经开发出来，C++也已标准化。与此同时，新的C标准(称为C99)也已制订。尽管C99并没有被大肆炒作，但它确实是过去5年里计算领域中最重要的一个事件。在历史的洪流中，人们很容易只注意那些新的事物，而忽视了用以构筑未来的坚实基础。C语言正是这样的基础。世界上的许多程序代码是在C上运行的。C++正是在此基础上建立的，其语法构成了Java的基础。然而，如果C仅是其他语言的起点，它就会成为有趣但却遭到遗弃的语 注： 原文件大小：15499 KB
C语言参考手册第五版【中文版】
　1、 c语言具有语法简洁的特点,相信用过其他语言的人都知道 　2、 运算符丰富,让我有时侯都分不清 　3、 数据结构类型丰富 　 　4、 结构化,就是想一小块一小块的程序,这样写起来容易 　 　5、 强语言类型，语法错误时在编译就可以发现 　 　6、 功能强大,现在诸如nuix这样的操作系统就是用c语言写的
纯C版的微信打飞机游戏
本游戏模拟微信打飞机游戏，不过略有不同，玩一下你就知道了^_^ 资源包含源代码、游戏素材、可执行程序(编译好了的) ps:游戏使用纯C语言，没使用任何游戏引擎
C语言

70,022

社区成员

243,263

社区内容

发帖
与我相关
我的任务
社区描述
C语言相关问题讨论
社区管理员
  • C语言
  • 花神庙码农
  • 架构师李肯
加入社区
  • 近7日
  • 近30日
  • 至今

加载中

查看更多榜单
社区公告
暂无公告

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

+ 用AI写文章