求給定命題公式的真值表并根據(jù)真值表求公式的主范式(編輯修改稿)
2025-04-21 05:12 本頁面
【文章內(nèi)容簡介】 0。i1h。i1++) { if (i10)//判斷并添加符號 printf(\\/)。 printf(M(%d),hq[i1])。 //輸出主合取范式 } } if(xq[0]==1)//不存在析取范式時 printf(\n該命題公式不存在主析取范式。\n)。 else { printf(\n\n該命題公式的主析取范式：\n\t)。 for(i1=0。i1x。i1++) { if (i10)//判斷并添加符號 printf(/\\)。 printf(m(%d),xq[i1])。//輸出主析取范式 } } printf(\n)。 printf(\n歡迎下次再次使用！\n )。//結束 getch()。}void panduan(int b[N],int f) // 二進制賦值。 { int i。 i=f。 if(b[f]==0)//加1 b[f]=1。 else//進位 { b[f]=0。 panduan(b,i)。 } }int tkh (char sz[N],char ccu[N],int icu[N],int h0)//分級運算函數(shù){ int i,j,h,s,kh=0,wz[N],a。 char xs1[N],ckh[N]。 //xs1用來保存括號內(nèi)的字符 ckh用來保存括號。 s=strlen(sz)。 for(i=0。is。i++) if(sz[i]==39。(39。 || sz[i]==39。)39。)//判斷括號 { wz[kh]=i。//存儲括號位置 ckh[kh]=sz[i]。//存儲括號類型 kh++。 } if(kh==0) return fkh(sz,ccu,icu,h0)。//如果無括號，直接運行 else { for(i=0。ikh。i++) if(ckh[i]==39。)39。)//找到第一個） break。 for(j=wz[i1]+1,h=0。jwz[i]。j++,h++) //存儲最內(nèi)級括號中的內(nèi)容 xs1[h]=sz[j]。 xs1[h]=39。\039。 a=fkh(xs1,ccu,icu,h0)。//運行最內(nèi)級括號的式子，得到結果 if(a==1)//判斷并存儲結果 sz[wz[i1]]=1。 else sz[wz[i1]]=2。 for(j=wz[i1]+1。js+wz[i1]wz[i]。j++)//將括號后內(nèi)容前移 sz[j]=sz[j+wz[i]wz[i1]]。 sz[j]=39。\039。 return tkh(sz,ccu,icu,h0)。//循環(huán)執(zhí)行 }}int fkh(char sz[N],char ccu[N],int icu[N],int h0)//主運算函數(shù){ int i,h=0,j=0,j1=0,j2=0,j3=0,j4=0,j5=0,i1,i2,p1=1,p2=1,s。 char dt[N]。 s=strlen(sz)。 if(s==1) if(sz[0]==2)//判斷是否是最后一項 return 0。 else return 1。 //1 就是sz[0]的值、 else { for(i=0。isj。i++) //先處理非 if(sz[i]==39。!39。) { for(i1=0。i1h0。i1++) if(sz[i+1]==ccu[i1])//將變量賦值并給P1 p1=icu[i1]。 if(sz[i+1]==2)//如果是前運算結果的0，則P1等于0 p1=0。 if(p1==1)//如果是數(shù)字，直接給P1 p1=sz[i+1]。 dt[j+2]=!p1。//非運算 sz[i]=j+2。 j++。 p1=0。 for(i1=i+1。i1sj。i1++) sz[i1]=sz[i1+1]。//將后續(xù)式子前移一項 } p1=1。 j1=j。 for(i=0。isj12*j2。i++) // 處理與 if(sz[i]==39。amp。39。) { fo
畢業(yè)設計相關推薦
鄂ICP備17016276號-1