利用真值表法求取主析取范式以与主合取范式的实现副本Word格式文档下载.docx

利用真值表法求取主析取范式以与主合取范式的实现副本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];