利用真值表法求取主析取范式以及主合取范式的实现 --- 副本1 #include "stdio.h" #include "stdlib.h" #include "string.h" #include "math.h" #define N 50 void pd(int b[N],int f); int H1 (char T1[N], char T2[N], int T3[N], int y); int H2 (char T1[N], char T2[N], int T3[N], int y); int main() { int i1,i2,d=1,T3[N],kh=0,jg,j=0,y; int w=0,hequ[N],h=0,x=0,xiqu[N]; char T1[N],T2[N],T10[N],s; hequ[0]=-1; xiqu[0]=-1; printf("#########################################\n"); printf("## 用 ! 表 示 否 定##\n"); printf("## 用 & 表 示 合 取##\n"); 2 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) printf("\n该命题公式不存在主析取范式。\n"); else { printf("\n\n主析取范式: \n\t"); for(i1=0;i10) printf("\\/"); printf("m(%d)",xiqu[i1]...