离散路的数目的c语言编程实验,离散数学命题公式真值表C或C语言实验报告.doc...

#includevoid hequ();

void yunhan();

void xiqu();

void shuang();

void fei();//声明五个函数

int main()

{

int ch;

char s[10];

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");//选择输入的公式类型

getchar();

printf("请输入您所需要查询的公式：");

scanf("%s",s);

if(!strcmp(s,"a&&b"))

hequ();

else if(!strcmp(s,"!a"))

fei();

else if(!strcmp(s,"a||b"))

xiqu();

else if(!strcmp(s,"a->b"))

yunhan();

else if(!strcmp(s,"a<>b"))//将输入的公式与程序内存在的公式进行比较

shuang();

else

printf("对不起，您所要查找的公式不存在!\n\n");

printf("\n 1.继续查找 0.结束 \n\n");

scanf("%d",&ch); //使程序循环

}

return 0;

}

void hequ()

{

printf("a b a&&b\n");

printf("0 1 0\n");

printf("0 0 0\n");

printf("1 0 0\n");

printf("1 1 1\n");

}

void xiqu()

{

printf("a b a||b\n");

printf("0 1 1\n");

printf("0 0 0\n");

printf("1 0 1\n");

printf("1 1 1\n");

}

void yunhan()

{

printf("a b a->b\n");

printf("0 1 1\n");

printf("0 0 1\n");

printf("1 0 0\n");

printf("1 1 1\n");

}

void fei()

{

printf("a !a\n");

printf("1 0\n");

printf("0 1\n");

}

void shuang()

{

printf("a b a<>b\n");

printf("0 1 0\n");

printf("0 0 1\n");

printf("1 0 0\n");

printf("1 1 1\n");

} //定义五个函数

7． 【实验结果与分析总结(含运行结果截图)】

输入界面

输入公式并输出真值表

继续查找

结束程序