离散实验报告21页.doc

离散实验报告 专业：数学与应用数学 班级： 091121 学号：2009112125姓名：张鼎珩日期：2011.06.23实验内容：实验一 真值计算实验二 两个集合运算实验三 关系闭包计算实验四 关系与函数进行试验：实验一 真值计算一、 实验目的熟悉联结词合取、析取、条件和双条件的概念，编程求其真值。二、 实验内容(1) 求任意一个命题公式的真值表：从键盘输入两个命题 P 和 Q 的真值，求它们的合取、析取、蕴含和等价的真值(2) 利用真值表求任意一个命题公式的主范式(3) 利用真值表进行逻辑推理三实验程序：#include/*标准输入输出头文件*/#include/*该文件包含了的C语言标准库函数的定义*/#include/*字符串数组的函数定义的头文件*/#include/*通用输入输出库*/