离散数学_命题逻辑(1)_浙江中医药大学.docVIP

离散数学实验报告 专业班级： 姓名： 学号： 实验成绩： 1．【实验题目】 命题逻辑（1） 2．【实验目的】 熟悉掌握命题逻辑中的联接词，实现二元合取、析取、蕴涵和等价表达式的计算，熟悉连接词逻辑运算规则，利用程序语言实现其逻辑运算。 3．【实验内容】 从键盘输入两个命题变元P和Q的真值，求它们的合取、析取、条件和双条件的真值。 4. 【实验要求】 通过以下界面提示实现相应逻辑运算，给出具体逻辑值 **************************************************************** 请输入变量命题P和Q的值（1或0）： 请选择（1—5）要进行的逻辑运算： 合取运算（P∧Q） 析取运算（P∨Q） 条件运算（P→Q） 双条件运算（P←→Q） 继续/退出（y/n） **************************************************************** 5. 【算法描述】 1.实验原理 ① 合取：将两个命题P、Q联结起来，构成一个新的命题P∧Q, 读作P与Q, 或P并且Q。当且仅当P = T（或1 ）, Q = T（或1 ）时，P∧Q =T（或1 ）,其余均为F（或0 ）。 ② 析取：将两个命题P、Q联结起来，构成一个新的命题P∨Q, 读作P、Q的析取, 也可读作P或Q。当且仅当P = F, Q = F时，P∨Q =F, 其余均为 T。 ③ 条件：将两个命题P、Q联结起来，构成一个新的命题P→Q, 读作P条件Q, 也可读作如果P，那么Q。当且仅当P = T, Q = F时，P→Q =F, 其余均为T。 ④ 双条件：将两个命题P、Q联结起来，构成一个新的命题P←→Q, 读作P双条件于Q。当且仅当P = T, Q =T时，P←→Q =T, 其余均为F。 6. 【源程序（带注释）】 #include stdio.h #include stdlib.h void main() { int p,q,n,result; char s; int hequ(int a,int b);//声明合取函数 int xiqu(int a,int b);//声明析取函数 int tiaojian(int a,int b);//声明条件运算函数 int shuangtiaojian(int a,int b);//声明条件运算函数 void print();//声明打印星号函数 print(); a:{//a循环开始标签 fflush(stdin); n=0; printf(\t请输入变量命题P和Q的值（1或0 以空格隔开）：\n); scanf(%d%d,p,q);//接收p,q的值 while((p!=0 p!=1) || (q!=0 q!=1))//判断p和q的值是否附和要求，不符合则进入while循环 { fflush(stdin);//清空输入缓存区，保证不影响后面的数据读取 printf(输入有误！请重新输入\n\n\t请输入变量命题P和Q的值（1或0 用空格隔开）：\n); scanf(%d%d,p,q);//接收p的值 } printf(\t请选择（1-5）要进行的逻辑运算：\n); printf(\t1.合取运算（P∧Q）\n\t2.析取运算（P∨Q）\n\t3.条件运算（P→Q）\n\t4.双条件运算（P←→Q）\n\t5.继续/退出（y/n）\n); scanf(%d,n); if (n==1) {result=hequ(p,q);printf(%d\n,result);print(); goto a;}//若用户选择合取（1）逻辑运算，将p和q的值传送到hequ子函数，得到返回值后返回到a循环起始点 else if (n==2) {result=xiqu(p,q);printf(%d\n,result);print(); goto a;}//若用户选择析取（2）逻辑运算，将p和q的值传送到xiqu子函数，得到返回值后返回到a循环起始点 else if (n==3) {result=tiaojian(p,q);printf(%d\n,result);print(); goto a;}//若用户选择条件（3）逻辑运算，将p和q的值传送到tiaojian子函