离散数学上机实验探析.docxVIP

PAGE \* MERGEFORMAT2 《离散数学》 实验报告 姓名： 学号： 班级：  实验一?连结词逻辑运算 一.实验目的 实现二元合取、析取、蕴涵和等价表达式的计算。熟悉连接词逻辑运算规则，利用程序语言实现逻辑这几种逻辑运算。 二.实验内容 从键盘输入两个命题变元P和Q的真值，求它们的合取、析取、蕴涵和等价四种运算的真值。要求对输入内容进行分析，如果不符合0、1条件需要重新输入，程序有良好的输入输出界面。 三.实验环境 使用Microsoft Visual?C++6.0为编程软件，采用称C/C++语言为编程语言实现。 四.实验过程 1.算法分析: 合取：p，q都为1的时候为1，其他为0? 析取：p，q都为0的时候为0，其他为1? 蕴含：p为1，q为0时为0，其他为1? 等价：p，q同真同假 2.程序代码: #includestdio.h int main() { int P,Q,a,b,c,d,p,q; printf( P的值); for(P=0;P2;P++) { for(Q=0;Q2;Q++) printf(\t%d,P); } printf(\n Q的值); for(P=0;P2;P++) { for(Q=0;Q2;Q++) printf(\t%d,Q); } printf(\n 非P的值); for(P=0