离散数学命题公式真值表C++或C语言实验报告(3)

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();

百度搜索“77cn”或“免费范文网”即可找到本站免费阅读全部范文。收藏本站方便下次阅读，免费范文网，提供经典小说教育文库离散数学命题公式真值表C++或C语言实验报告(3)在线全文阅读。