离散数学连结词逻辑运算

学院软件学院专业软件工程指导教师邹丽娜学号10008118姓名冯立勇提交日期2011-12-25实验一连结词逻辑运算一.实验目的实现二元合取、析取、蕴涵和等价表达式的计算。熟悉连接词逻辑运算规则，利用程序语言实现逻辑这几种逻辑运算。二.实验内容从键盘输入两个命题变元P和Q的真值，求它们的合取、析取、蕴涵和等价四种运算的的真值。要求对输入内容进行分析，如果不符合0、1条件需要重新输入，程序有良好的输入输出界面。三.实验过程1.算法分析：说明编程语言、与四种连结词对应的运算符，或其它实现方法2.程序代码：#includestdio.hinta,b;charc;voidmenu();voidshuru();voidyunsuan();intmain(){menu();yunsuan();return0;}voidshuru(){printf(请输入P的值(0或1),以回车结束:);scanf(%d,&a);printf(请输入Q的值(0或1),以回车结束:);scanf(%d,&b);}voidmenu(){printf(****************************************************\n);printf(****\n);printf(**欢迎来到逻辑运算软件**\n);printf(****\n);printf(****************************************************\n);printf(\n);printf(\n);}voidyunsuan(){shuru();while((a!=1||a!=0)&&(b!=1||b!=0)){if((a==1||a==0)&&(b==1||b==0))break;printf(输入错误，重新输入\n);shuru();}if(a==0&&b==0){printf(合取:\n);printf(P∧Q=0\n);printf(析取:\n);printf(P∨Q=0\n);printf(条件:\n);printf(P-Q=1\n);printf(双条件:\n);printf(P-Q=1\n);}if(a==0&&b==1){printf(合取:\n);printf(P∧Q=0\n);printf(析取:\n);printf(P∨Q=1\n);printf(条件:\n);printf(P-Q=1\n);printf(双条件:\n);printf(P-Q=0\n);}if(a==1&&b==0){printf(合取:\n);printf(P∧Q=0\n);printf(析取:\n);printf(P∨Q=1\n);printf(条件:\n);printf(P-Q=0\n);printf(双条件:\n);printf(P-Q=0\n);}if(a==1&&b==1){printf(合取:\n);printf(P∧Q=1\n);printf(析取:\n);printf(P∨Q=1\n);printf(条件:\n);printf(P-Q=1\n);printf(双条件:\n);printf(P-Q=1\n);}printf(是否继续运算？(y/n)\n);scanf(%c,&c);if(c=='y')yunsuan();elsereturn;}3.实验数据及结果分析；