文档介绍：2
离散数学数理逻辑C++或C语言实验报告
离散数学试验报告
专业班级：12级计算机本部一班 姓名：鲍佳珍 学号： 2012********** 试验成果： 1．【试验题目】 2
离散数学数理逻辑C++或C语言实验报告
离散数学试验报告
专业班级：12级计算机本部一班 姓名：鲍佳珍 学号： 2012********** 试验成果： 1．【试验题目】
命题规律试验一
2．【试验目的】
生疏把握命题规律中的联接词，实现二元合取、析取、蕴涵和等价表达式的计算。生疏连接词规律运算规章，利用程序语言实现规律这几种规律运算。
3．【试验内容】
从键盘输入两个命题变元P和Q的真值，求它们的合取、析取、条件和双条件的真值。（A）
4、【试验要求】
C或C＋＋语言编程实现
5. 【算法描述】
（1）合取：二元命题联结词。将两个命题P、Q联结起来，构成一个新的命题P∧Q, 读作P、Q的合取, 也可读作P与Q。这个新命题的真值与构成它的命题P、Q的真值间的关系为只有当两个命题变项P = T, Q = T时方可P∧Q =T, 而P、Q只要有一为F则P∧Q = F。这样看来，P∧Q可用来表示日常用语P与Q, 或P并且Q。
（2）析取：二元命题联结词。将两个命题P、Q联结起来，构成一个新的命题P∨Q, 读作P、Q的析取, 也可读作P或Q。这个新命题的真值与构成它的命题P、Q的真值间的关系为只有当两个命题变项P = F, Q = F时方可P∨Q =F, 而P、Q只要有一为T则P∨Q = T。这样看来，P∨Q可用来表示日常用语P或者Q。
2
（3）条件：二元命题联结词。将两个命题P、Q联结起来，构成一个新的命题P→Q, 读作P条件Q, 也可读作假如P，那么Q。这个新命题的真值与构成它的命题P、Q的真值间的关系为只有当两个命题变项P = T, Q = F时方可P→Q =F, 其余均为T。
（4）双条件：二元命题联结词。将两个命题P、Q联结起来，构成一个新的命题P←→Q, 读作P双条件于Q。这个新命题的真值与构成它的命题P、Q的真值间的关系为当两个命题变项P = T, Q =T时方可P←→Q =T, 其余均为F。
（1）A题部分，首先是对各个输入量的处理，要确定输入的为0或1，否则则为出错，接下来就是运算处理，在C语言中本身支持的有与或非这三种，可以用!, void hequ(int m,int n); void yunhan(int m,int n);
void shua