求给定命题公式的真值表并根据真值表求公式的主范式文档格式.docx
- 文档编号:21052759
- 上传时间:2023-01-27
- 格式:DOCX
- 页数:20
- 大小:166.95KB
求给定命题公式的真值表并根据真值表求公式的主范式文档格式.docx
《求给定命题公式的真值表并根据真值表求公式的主范式文档格式.docx》由会员分享,可在线阅读,更多相关《求给定命题公式的真值表并根据真值表求公式的主范式文档格式.docx(20页珍藏版)》请在冰豆网上搜索。
(2)主式:
主析取式:
在含有n个命题变元的简单合取式中,若每个命题变元与其否定不同时存在,而两者之一出现一次且仅出现一次,称该简单合取式为小项。
由若干个不同的小项组成的析取式称为主析取式;
与A等价的主析取式称为A的主析取式。
任意含n个命题变元的非永假命题公式A都存在与其等价的主析取式,并且是惟一的。
主合取式:
在含有n个命题变元的简单析取式中,若每个命题变元与其否定不同时存在,而两者之一出现一次且仅出现一次,称该简单析取式为大项。
由若干个不同的大项组成的合取式称为主合取式;
与A等价的主合取式称为A的主合取式。
任意含n个命题变元的非永真命题公式A都存在与其等价的主合取式,并且是惟一的。
(2)首先是输入一个合理的式子,然后从式子中查找出变量的个数,开辟一个二进制函数,用来生成真值表,然后用函数运算,输出结果,并根据结果归类给式,最后输出式。
函数部分,主要是3个函数,一个为真值表递加函数,通过二进制的加法原理递进产生,一个为分级运算函数,这个函数是通过判断括号,选出最级括号的容执行运算函数,这样一级一级向外运算,最后得出最终结果,剩下一个为主运算函数,按照运算符号的优先级按顺序进行运算,如先将所有非运算运算完,再执行与运算。
如此运算。
2.实验流程图如下:
主函数
五.实验代码
#include"
stdio.h"
stdlib.h"
string.h"
conio.h"
math.h"
#defineN50
voidpanduan(intb[N],intf);
//赋值函数
inttkh(charsz[N],charccu[N],inticu[N],inth0);
//分级运算函数
intfkh(charsz[N],charccu[N],inticu[N],inth0);
//主运算函数
main()
{
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"
);
//标语
****\n"
**欢迎进入逻辑运算软件**\n"
**(可运算真值表,主式,支持括号)**\n"
**用!
表示非**\n"
**用&
表示与**\n"
**用|表示或**\n"
**用^表示蕴含**\n"
**用~表示等值**\n"
***************************************\n\n"
请输入一个合法的命题公式:
\n"
//输入式子
gets(sz);
//读取式子
strcpy(sz0,sz);
//复制式子
for(i1=0;
i1<
strlen(sz);
i1++)
{
if(sz[i1]=='
)'
||sz[i1]=='
('
)//存储括号数量
kh++;
if(sz[i1]>
='
a'
&
&
sz[i1]<
z'
||sz[i1]>
A'
Z'
)
for(i2=0;
i2<
j;
i2++)//判断并储存变量。
if(ccu[i2]==sz[i1])//去除重复变量
d=0;
if(d==1)
ccu[j]=sz[i1];
j++;
}
d=1;
\nd该式子中的变量个数为:
%d\n"
j);
//输出变量个数
h0=j;
\n输出真值表如下:
\n\n"
//输出真值表表头
h0;
%c"
ccu[i1]);
"
puts(sz);
i1++)///////先将所有的变量赋值为零。
icu[i1]=0;
i2++)//输出真值表前项
%d"
icu[i2]);
jg=tkh(sz,ccu,icu,h0);
//用函数求结果
if(jg==0)//结果为0,合取加1
hq[h++]=bj;
else//否则,析取加1
xq[x++]=bj;
%d\n"
jg);
//输出运算结果
strcpy(sz,sz0);
(int)pow(2,j)-1;
++bj;
panduan(icu,j-1);
//赋值变量
jg=tkh(sz,ccu,icu,h0);
//恢复被修改的数组。
i2++)
//输出真值表前项
}
if(hq[0]==-1)//不存在合取式时
\n该命题公式不存在主合取式。
else
{
\n该命题公式的主合取式:
\n\t"
h;
if(i1>
0)//判断并添加符号
\\/"
M(%d)"
hq[i1]);
//输出主合取式
if(xq[0]==-1)//不存在析取式时
\n该命题公式不存在主析取式。
printf("
\n\n该命题公式的主析取式:
x;
/\\"
m(%d)"
xq[i1]);
//输出主析取式
\n欢迎下次再次使用!
\n"
//结束
getch();
}
voidpanduan(intb[N],intf)//二进制赋值。
inti;
i=f;
if(b[f]==0)//加1
b[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;
i<
s;
i++)
if(sz[i]=='
||sz[i]=='
)//判断括号
wz[kh]=i;
//存储括号位置
ckh[kh]=sz[i];
//存储括号类型
if(kh==0)
returnfkh(sz,ccu,icu,h0);
//如果无括号,直接运行
kh;
if(ckh[i]=='
)//找到第一个)
break;
for(j=wz[i-1]+1,h=0;
j<
wz[i];
j++,h++)//存储最级括号中的容
xs1[h]=sz[j];
xs1[h]='
\0'
;
a=fkh(xs1,ccu,icu,h0);
//运行最级括号的式子,得到结果
if(a==1)//判断并存储结果
sz[wz[i-1]]=1;
sz[wz[i-1]]=-2;
for(j=wz[i-1]+1;
s+wz[i-1]-wz[i];
j++)//将括号后容前移
sz[j]=sz[j+wz[i]-wz[i-1]];
sz[j]='
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];
if(s==1)
if(sz[0]==-2)//判断是否是最后一项
return0;
return1;
//1就是sz[0]的值、
s-j;
i++)//先处理非
!
'
)
if(sz[i+1]==ccu[i1])//将变量赋值并给P1
p1=icu[i1];
if(sz[i+1]==-2)//如果是前运算结果的0,则P1等于0
p1=0;
if(p1==-1)//如果是数字,直接给P1
p1=sz[i+1];
dt[j+2]=!
p1;
//非运算
sz[i]=j+2;
for(i1=i+1;
sz[i1]=sz[i1+1];
//将后续式子前移一项
p1=-1;
j1=j;
s-j1-2*j2;
i++)//处理与
if(sz[i-1]==ccu[i1])//将变量赋值并给P1
if(sz[i+1]==ccu[i1])//将变量赋值并给P2
p2=icu[i1];
for(i2=2;
j+2;
i2++)
if(sz[i-1]==i2)//如果为前计算结果,将结果赋值并给P1
p1=dt[i2];
if(sz[i+1]==i2)//如果为前计算结果,将结果赋值并给P2
p2=dt[i2];
if(sz[i-1]==-2)//如果是前运算结果的0,则P1等于0
if(sz[i+1]==-2)//如果是前运算结果的0,则P2等于0
p2=0;
if(p1==-1)//如果是数字,直接给P1
p1=(int)(sz[i-1]);
if(p2==-1)//如果是数字,直接给P2
p2=(int)(sz[i+1]);
dt[j+2]=p1&
p2;
//与运算
sz[i-1]=j+2;
j2++;
p2=-1;
for(i1=i;
i1++)//将后续式子前移两项
sz[i1]=sz[i1+2];
i=i-1;
s-j1-2*j2-2*j3;
i++)//处理或。
|'
{
}
{
if(sz[i+1]==i2)//如果为前计算结果,将结果赋值并给P2
p1=sz[i-1];
p2=sz[i+1];
dt[j+2]=p1||p2;
//或运算
j3++;
i--;
s-j1-2*j2-2*j3-2*j4;
i++)//处理蕴含。
^'
if(sz[i-1]==-2)//如果是前运算结果的0,则P1等于0
p1=0;
if(sz[i+1]==-2)//如果是前运算结果的0,则P2等于0
p2=0;
if(p1==-1)//如果是数字,直接给P1
p1=sz[i-1];
if(p2==-1)//如果是数字,直接给P2
p2=sz[i+1];
dt[j+2]=!
p1||p2;
//蕴含运算
j++;
j4++;
p1=-1;
p2=-1;
for(i1=i;
sz[i1]=sz[i1+2];
i--;
s-j1-2*j2-2*j3-2*j4-2*j5;
i++)//处理等值。
~'
dt[j+2]=(!
p1||p2)&
(!
p2||p1);
//等值运算
j5++;
returndt[j+1];
//返回结果
六.实验结果
结果分析:
这道题第一部分比较简单,主要是读取值并进行计算,同时要注意输入的值要是0或1,如果不是,则进行错误提示,并进行重新输入。
欢迎界面
非运算
与运算
或运算
蕴含运算
等值运算
综合运算
带括号的综合运算
结果分析:
这个程序从功能上来说,达到了题目要求的各个功能,可以运算与,或,非,蕴含,等值条件组成的表达式,并且支持括号运算,所以,总体上来说,虽然还有一些不完善的部分,但是整体是比较可以的。
七.实验总结
这个实验相对来说是一个不困难的题,一开始想用中序表达式转变为逆波兰式的方法来解决,但是总有一些零零散散的问题困扰,况且对于栈和二叉树之类的东西在学习C语言时接触很少,所以困难更大,经过多次失败后,还是最后用最简单同时也是最麻烦的方法来解决这个问题。
利用函数一步步来解决,所以在个别功能上来说有一些不完美,比如纠错,因为时间有限,有个别地方没有设置出错提示。
也许是很久没看C语言了,导致很多基本的语句都已经并不熟练了,通过这次实验,让我从一定程度上找回了一点以前做课程设计时的感觉。
在编程过程中,最重要的其实是对细节方面的把握。
在设计上主要有以下几个问题:
1.优先级的问题,要如何解决优先级的问题,最后我直接用先后执行来解决。
2.括号问题,对于运算来说,解决括号问题很重要,而我是从最级括号向外层层运算,最后得出结果。
3.真值表问题,真值表利用二进制的原理,递加得到。
4.赋值问题,一开始这个问题困扰了我很久,后来发现直接用一个赋值函数,每次运行都直接运行一次就可以很好的解决了。
这些是在做题时主要遇到的问题。
其实这个题在得出真值的结果之后就可以比较简单的解决了,因为已经有真值表,只要将最后结果分类,并将其分类列出就可以了。
总的来说,本次实验总体上是比较成功的,也让我学到了很多东西。
- 配套讲稿:
如PPT文件的首页显示word图标,表示该PPT已包含配套word讲稿。双击word图标可打开word文档。
- 特殊限制:
部分文档作品中含有的国旗、国徽等图片,仅作为作品整体效果示例展示,禁止商用。设计者仅对作品中独创性部分享有著作权。
- 关 键 词:
- 给定 命题 公式 真值 根据 范式