求給定命題公式的真值表并根據(jù)真值表求公式的主范式-文庫吧
2025-03-10 05:12 本頁面
【正文】 于存放變量值,kh括號計數(shù),jg存放結(jié)果 int bj=0,hq[N],h=0,x=0,xq[N]。//hq[N]存放合取結(jié)果xq[N]存放析取結(jié)果 char sz[N],ccu[N],sz0[N],s。//sz[N]存放式子,ccu[N]存放變量,sz0[N]也是用于存放式子 hq[0]=1。 xq[0]=1。 printf(***************************************\n)。//標(biāo)語 printf(** **\n)。 printf(** 歡迎進(jìn)入邏輯運算軟件 **\n)。 printf(** (可運算真值表，主范式，支持括號) **\n)。 printf(** **\n)。 printf(** 用!表示非 **\n)。 printf(** 用amp。表示與 **\n)。 printf(** 用|表示或 **\n)。 printf(** 用^表示蘊含 **\n)。 printf(** 用~表示等值 **\n)。 printf(** **\n)。 printf(***************************************\n\n)。 printf(請輸入一個合法的命題公式:\n)。//輸入式子 gets(sz)。//讀取式子 strcpy(sz0,sz)。//復(fù)制式子 for(i1=0。i1strlen(sz)。i1++) { if(sz[i1]==39。)39。 || sz[i1]==39。(39。)//存儲括號數(shù)量 kh++。if(sz[i1]=39。a39。 amp。amp。 sz[i1]=39。z39。 || sz[i1]=39。A39。 amp。amp。 sz[i1]=39。Z39。) { for(i2=0。i2j。i2++) //判斷并儲存變量。 if(ccu[i2]==sz[i1])//去除重復(fù)變量 d=0。 if(d==1) { ccu[j]=sz[i1]。 j++。 } d=1。 } } printf(\nd該式子中的變量個數(shù)為：%d\n,j)。//輸出變量個數(shù) h0=j。 printf(\n輸出真值表如下：\n \n)。 //輸出真值表表頭 for(i1=0。i1h0。i1++) printf( %c ,ccu[i1])。 printf( )。 puts(sz)。 printf(\n)。 for(i1=0。i1j。i1++) ///////先將所有的變量賦值為零。 icu[i1]=0。 for(i2=0。i2j。i2++)//輸出真值表前項 printf( %d ,icu[i2])。 jg=tkh(sz,ccu,icu,h0)。 //用函數(shù)求結(jié)果 if(jg==0)//結(jié)果為0，合取加1 hq[h++]=bj。 else //否則，析取加1 xq[x++]=bj。 printf( %d\n,jg)。//輸出運算結(jié)果 strcpy(sz,sz0)。 for(i1=0。i1(int)pow(2,j)1。i1++) { ++bj。panduan(icu,j1)。 //賦值變量jg=tkh(sz,ccu,icu,h0)。 if(jg==0)//結(jié)果為0，合取加1 hq[h++]=bj。 else //否則，析取加1 xq[x++]=bj。 strcpy(sz,sz0)。 //恢復(fù)被修改的數(shù)組。 for(i2=0。i2j。i2++) printf( %d ,icu[i2])。//輸出真值表前項 printf( %d\n,jg)。//輸出運算結(jié)果 } if(hq[0]==1)//不存在合取范式時 printf(\n該命題公式不存在主合取范式。\n)。 else { printf(\n該命題公式的主合取范式：\n\t)。 for(i1=
畢業(yè)設(shè)計相關(guān)推薦
鄂ICP備17016276號-1