#include"stdio.h"#include"stdlib.h"#include"string.h"#include"math.h"#defineN50voidpd(intb[N],intf);intH1(charT1[N],charT2[N],intT3[N],inty);intH2(charT1[N],charT2[N],intT3[N],inty);intmain(){inti1,i2,d=1,T3[N],kh=0,jg,j=0,y;intw=0,hequ[N],h=0,x=0,xiqu[N];charT1[N],T2[N],T10[N],s;hequ[0]=-1;xiqu[0]=-1;printf("#########################################\n");printf("##用!表示否定##\n");printf("##用&表示合取##\n");printf("##用|表示析取##\n");printf("##用^表示条件##\n");printf("##用~表示双条件##\n");printf("#########################################\n\n");printf("请输入一个合法的命题公式:\n");gets(T1);strcpy(T10,T1);for(i1=0;i1='a'&&T1[i1]<='z'||T1[i1]>='A'&&T1[i1]<='Z'){for(i2=0;i20)printf("/\\");printf("M(%d)",hequ[i1]);}}if(xiqu[0]==-1)2printf("\n该命题公式不存在主析取范式。\n");else{printf("\n\n主析取范式：\n\t");for(i1=0;i10)printf("\\/");printf("m(%d)",xiqu[i1]);}}printf("\n");getch();}voidpd(intb[N],intf){inti;i=f;if(b[f]==0)b[f]=1;else{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
