离散数学实验报 2011.docVIP

《离散数学》 实验报告 学 院 科信软件学院 专 业 计算机科学与技术 指导教师 邹丽娜 学 号 姓 名 赵辉 提交日期 2011-12-23 实验一 连结词逻辑运算 一.实验目的 实现二元合取、析取、蕴涵和等价表达式的计算。熟悉连接词逻辑运算规则，利用程序语言实现逻辑这几种逻辑运算。 二.实验内容 从键盘输入两个命题变元P和Q的真值，求它们的合取、析取、蕴涵和等价四种运算的的真值。要求对输入内容进行分析，如果不符合0、1条件需要重新输入，程序有良好的输入输出界面。 三. 实验过程 1. 算法分析： 编程语言为c语言 合取/\：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,i,t; printf(************************************************\n); printf(***