篇一 ：离散数学上机实验报告
离
散
数
学
实
验
报
告
姓名： 学号： 班级：
离散数学实验报告
实验一 真值计算
实验内容：
从键盘输入两个命题P和Q的真值，求它们的合取、析取、条件和双条件的真值。用C语言实现。
实验源程序和运行结果如下：
#include "iostream.h"
void main()
{
char p,q,t;
int p1,q1;
cout<<"输入p,q的真值(F或T)"<<endl;
cin>>p>>q;
if(p=='F')
p1=0;
else
p1=1;
if(q=='F')
q1=0;
else
q1=1;
//下面进行为运算
if(p1|q1)
t='T';
else
t='F';
cout<<"p析取q为"<<t<<endl;
…… …… 余下全文
篇二 ：离散数学上机实验报告
《离散数学》
实验报告
姓名：
学号：
班级：
实验一 连结词逻辑运算
一.实验目的
实现二元合取、析取、蕴涵和等价表达式的计算。熟悉连接词逻辑运算规则，利用程序语言实现逻辑这几种逻辑运算。
二.实验内容
从键盘输入两个命题变元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.程序代码:
#include<stdio.h>
int main()
{
int P,Q,a,b,c,d,p,q;
printf(" P的值");
…… …… 余下全文
篇四 ：离散数学实验报告
《离散数学》
实验报告
题 目
专 业
学 号
姓 名
指导教师
提交日期
实验一 五种连结词的逻辑运算
一.实验目的
用C语言实现两个命题变元的合取、析取、蕴涵和等价表达式的计算。熟悉连接词逻辑运算规则，利用程序语言实现逻辑这几种逻辑运算。
二.实验内容
从键盘输入两个命题变元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. 程序代码：
#include＜stdio.h＞
int main()
{
int p,q,i,t;
printf("************************************************\n");
…… …… 余下全文
篇五 ：离散数学及其应用实验报告
浙江万里学院实验报告
课程名称： 离散数学
实验名称： 数理逻辑实验
专业班级：计算机111姓名：李俊学号：2011014620 实验日期：2012.10
专业班级： 姓名： 学号： 实验日期：
专业班级： 姓名： 学号： 实验日期：
…… …… 余下全文
篇六 ：离散数学上机实验报告
《离散数学》实验报告
实验二：程序实现逻辑运算
程序实现关系运算
姓 名： 叶云燕 学 号： 2014211617 班 级： 计算机科学与技术14-2班 实验地点： 4号机房 实验时间： 2015.10.2
《离散数学》实验报告
1 实验目的和要求
实验目的：
(1) 编程实现各种常见的逻辑运算；
(2) 编程实现关系的闭包运算的求解。
实验要求：
(1)在luojiyuns.cpp文件中补充And(), Or(), Not(), Xor(), Single_condition(),
Doublbe_condition()以实现基本逻辑运算；
(2)运行程序验证用常量表示的复杂逻辑表达式的真值求解方法
(3)补充luojiyuns.cpp文件中的Unknown_Logic()的两段代码以实现以变量表示的复杂逻
辑表达式的结果输出(以真值表形式)以及主合取和主析取范式输出
(4)熟练使用C++进行编码，掌握VC++6.0的有关操作。
…… …… 余下全文
