利用真值表法求取主析取范式以与主合取范式的实现副本Word格式文档下载.docx
- 文档编号:6938301
- 上传时间:2023-05-07
- 格式:DOCX
- 页数:13
- 大小:15.50KB
利用真值表法求取主析取范式以与主合取范式的实现副本Word格式文档下载.docx
《利用真值表法求取主析取范式以与主合取范式的实现副本Word格式文档下载.docx》由会员分享,可在线阅读,更多相关《利用真值表法求取主析取范式以与主合取范式的实现副本Word格式文档下载.docx(13页珍藏版)》请在冰点文库上搜索。
##用&
表示合取##\n"
##用|表示析取##\n"
##用^表示条件##\n"
##用~表示双条件##\n"
#########################################\n\n"
请输入一个合法的命题公式:
\n"
gets(T1);
strcpy(T10,T1);
for(i1=0;
i1<
strlen(T1);
i1++)
{
if(T1[i1]=='
)'
||T1[i1]=='
('
)
kh++;
if(T1[i1]>
='
a'
&
&
T1[i1]<
z'
||T1[i1]>
A'
Z'
for(i2=0;
i2<
j;
i2++)
if(T2[i2]==T1[i1])
d=0;
if(d==1)
T2[j]=T1[i1];
j++;
}
d=1;
\n输出真值表如下:
\n\n"
y;
%c"
T2[i1]);
"
puts(T1);
T3[i1]=0;
%d"
T3[i2]);
jg=H1(T1,T2,T3,y);
if(jg==0)
hequ[h++]=w;
else
xiqu[x++]=w;
%d\n"
jg);
strcpy(T1,T10);
(int)pow(2,j)-1;
++w;
pd(T3,j-1);
if(hequ[0]==-1)
\n该命题公式不存在主合取范式。
\n主合取范式:
\n\t"
h;
if(i1>
0)
/\\"
M(%d)"
hequ[i1]);
if(xiqu[0]==-1)
\n该命题公式不存在主析取范式。
\n\n主析取范式:
x;
\\/"
m(%d)"
xiqu[i1]);
getch();
}
voidpd(intb[N],intf)
inti;
i=f;
if(b[f]==0)
b[f]=1;
b[f]=0;
pd(b,--i);
intH1(charT1[N],charT2[N],intT3[N],inty)
inti,j,h,s,kh=0,wz[N],a;
charxs1[N],ckh[N];
s=strlen(T1);
for(i=0;
i<
s;
i++)
if(T1[i]=='
||T1[i]=='
wz[kh]=i;
ckh[kh]=T1[i];
if(kh==0)
returnH2(T1,T2,T3,y);
kh;
if(ckh[i]=='
break;
for(j=wz[i-1]+1,h=0;
j<
wz[i];
j++,h++)
xs1[h]=T1[j];
xs1[h]='
\0'
;
a=H2(xs1,T2,T3,y);
if(a==1)
T1[wz[i-1]]=1;
T1[wz[i-1]]=-2;
for(j=wz[i-1]+1;
s+wz[i-1]-wz[i];
j++)
T1[j]=T1[j+wz[i]-wz[i-1]];
T1[j]='
returnH1(T1,T2,T3,y);
intH2(charT1[N],charT2[N],intT3[N],inty)
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(T1[0]==-2)
return0;
return1;
s-j;
!
'
if(T1[i+1]==T2[i1])
p1=T3[i1];
if(T1[i+1]==-2)
p1=0;
if(p1==-1)
p1=T1[i+1];
dt[j+2]=!
p1;
T1[i]=j+2;
for(i1=i+1;
T1[i1]=T1[i1+1];
p1=-1;
j1=j;
s-j1-2*j2;
if(T1[i-1]==T2[i1])
p2=T3[i1];
for(i2=2;
j+2;
if(T1[i-1]==i2)
p1=dt[i2];
if(T1[i+1]==i2)
p2=dt[i2];
if(T1[i-1]==-2)
p2=0;
p1=(int)(T1[i-1]);
if(p2==-1)
p2=(int)(T1[i+1]);
dt[j+2]=p1&
p2;
T1[i-1]=j+2;
j2++;
p2=-1;
for(i1=i;
T1[i1]=T1[i1+2];
i=i-1;
s-j1-2*j2-2*j3;
|'
{
}
p1=T1[i-1];
p2=T1[i+1];
dt[j+2]=p1||p2;
j3++;
i--;
s-j1-2*j2-2*j3-2*j4;
^'
if(T1[i-1]==-2)
p1=0;
if(T1[i+1]==-2)
p2=0;
if(p1==-1)
p1=T1[i-1];
if(p2==-1)
p2=T1[i+1];
dt[j+2]=!
p1||p2;
T1[i-1]=j+2;
j++;
j4++;
p1=-1;
p2=-1;
for(i1=i;
T1[i1]=T1[i1+2];
i--;
s-j1-2*j2-2*j3-2*j4-2*j5;
~'
dt[j+2]=(!
p1||p2)&
(!
p2||p1);
j5++;
returndt[j+1];
- 配套讲稿:
如PPT文件的首页显示word图标,表示该PPT已包含配套word讲稿。双击word图标可打开word文档。
- 特殊限制:
部分文档作品中含有的国旗、国徽等图片,仅作为作品整体效果示例展示,禁止商用。设计者仅对作品中独创性部分享有著作权。
- 关 键 词:
- 利用 真值 求取 主析取 范式 主合取 实现 副本