printf("欢迎使用命题公式真值表查找软件\n\n"); printf("1.合取 2.析取 3.蕴含 4.双条件 5.非 0.结束查找\n");//软件使用界面的输出
scanf("%d",&ch); while(ch){ printf("\n\n您能查找真值表的命题公式有以下几种：\n\n"); printf("1.合取请输入a&&b 2.析取请输入a||b 3.蕴含请输入a->b 4.双条件请输入a<>b 5.非请输入!a\n");//选择输入的公式类型
if(!strcmp(s,"a&&b")) hequ(); getchar(); printf("请输入您所需要查询的公式："); scanf("%s",s); else if(!strcmp(s,"!a")) fei(); else if(!strcmp(s,"a||b")) xiqu(); else if(!strcmp(s,"a->b")) yunhan();