离散数学c语言实验报告,离散数学数理逻辑C++或C语言实验报告

离散数学实验报告

专业班级：12级计算机本部一班姓名：鲍佳珍

学号： 1016 实验成绩：

1．【实验题目】

命题逻辑实验一

2．【实验目的】

熟悉掌握命题逻辑中的联接词，实现二元合取、析取、蕴涵和等价表达式的计算。熟悉连接词逻辑运算规则，利用程序语言实现逻辑这几种逻辑运算。

3．【实验内容】

从键盘输入两个命题变元P和Q的真值，求它们的合取、析取、条件和双条件的真值。(A)

4、【实验要求】

C或C＋＋语言编程实现

5. 【算法描述】

1.实验原理

(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。

(3)条件：二元命题联结词。将两个命题P、Q联结起来，构成一个新的命题P→Q, 读作P条件Q, 也可读作如果P，那么Q。这个新命题的真值与构成它的命题P、Q的真值间的关系为只有当两个命题变项P &#

离散数学c语言实验报告,离散数学数理逻辑C++或C语言实验报告相关推荐

c语言的适当大小的子集,编译原理上机实验报告
编译原理上机实验报告,编制C语言子集的词法分析程序,编制递归下降法的语法分析程序编译技术上机实验题目实验一一.题目编制C语言子集的词法分析程序二.目的通过设计.编制.调试一个具体的词法分析 ...
c语言实验题水仙花数5359,《C语言程序设计》实验报告(实验1-12).doc
<C语言程序设计>实验报告(实验1-12).doc 下载提示(请认真阅读)1.请仔细阅读文档,确保文档完整性,对于不预览.不比对内容而直接下载带来的问题本站不予受理. 2.下载的文档,不会 ...
2021语言与智能技术竞赛：机器阅读理解任务实验报告
2021语言与智能技术竞赛:机器阅读理解任务 --实验报告 1. 比赛介绍 2. 赛题说明 2.1 样例 2.2 数据说明 3. 数据集介绍 3.1 数据介绍 3.2 数据样本 4. 模型介绍 4.1 ...
密码学实验报告c语言程序,密码学_实验一_古典密码算法_C语言.doc
您所在位置:网站首页 > 海量文档 &nbsp>&nbsp高等教育&nbsp>&nbsp实验设计密码学_实验一_古典密码算法_C语言.doc8页本 ...
金陵科技学院c语言实验报告册,金陵科技学院C语言实验册
金陵科技学院C语言实验册学生实验报告册 (理工类) 课程名称: C语言程序设计实验专业班级: 学生学号: 学生姓名: 所属院部: 指导教师: 20 --20 学年第学期金陵科技学 ...
c语言冒泡法排序实验报告,四川大学微机原理冒泡法排序实验报告.doc
四川大学微机原理冒泡法排序实验报告四川大学微机原理冒泡法排序实验报告 <微机原理与接口技术实验报告> 学院: 电气信息学院班级: 电力老师: 学号: 姓名: 目录实验目的 ...
南京邮电大学c语言实验报告5,南京邮电大学C语言大一上期末复习.pdf
南京邮电大学C语言大一上期末复习.pdf 高级语言程序设计期末总复习高级语言程序设计期末总复习课程的全部内容可分为五大模块课程的全部内容可分为五大模块 1 1基础知识基础知识 2 2三种基本结构及流 ...
java开发环境及数据类型实验_实验项目1 Java开发环境与语言基础
<实验项目1 Java开发环境与语言基础>由会员分享,可在线阅读,更多相关<实验项目1 Java开发环境与语言基础(14页珍藏版)>请在人人文库网上搜索. 1.实验项目1 Ja ...
java类与对象实验报告心得体会_Java类与对象实验报告.doc
西安邮电大学 (计算机学院) 课内实验报告实验名称: 类与对象专业名称: 计算机科学与技术班级: 计科1405班学生姓名: 高宏伟学号: 指导教师: 刘霞林实验日期: 201 ...
c语言第五章课后答案冯山,C语言四川师范大学信息与计算科学冯山实验五.doc...
C语言四川师范大学信息与计算科学冯山实验五.doc 下载提示(请认真阅读)1.请仔细阅读文档,确保文档完整性,对于不预览.不比对内容而直接下载带来的问题本站不予受理. 2.下载的文档,不会出现我 ...

离散数学c语言实验报告,离散数学数理逻辑C++或C语言实验报告

离散数学c语言实验报告,离散数学数理逻辑C++或C语言实验报告相关推荐

最新文章

热门文章