离散数学连结词逻辑运算

学 院 软件学院 专 业 软件工程 指导教师 邹丽娜 学 号 姓 名 提交日期 2011-12-25

实验一 连结词逻辑运算

一. 实验目的

实现二元合取、析取、蕴涵和等价表达式的计算。熟悉连接词逻辑运算规则,利用程序语言实现逻辑这几种逻辑运算。 二. 实验内容

从键盘输入两个命题变元P 和Q 的真值,求它们的合取、析取、蕴涵和等价四种运算的的真值。要求对输入内容进行分析,如果不符合0、1条件需要重新输入,程序有良好的输入输出界面。 三. 实验过程 1. 算法分析:

说明编程语言、与四种连结词对应的运算符,或其它实现方法 2. 程序代码:

#include int a,b;char c; void menu(); void shuru(); void yunsuan(); int main() { menu(); yunsuan(); return 0; }

void shuru() { printf("请输入P 的值(0或1), 以回车结束:"); scanf("%d",&a); printf("请输入Q 的值(0或1), 以回车结束:"); scanf("%d",&b); }

void menu() { printf("****************************************************\n"); printf("** **\n"); printf("** 欢迎来到逻辑运算软件 **\n"); printf("** **\n");

printf("****************************************************\n"); printf("\n"); printf("\n"); }

void yunsuan() {

shuru();

while((a!=1 || a!=0) &&(b!=1 || b!=0) ) { if((a==1 || a==0) && (b==1 || b==0)) break; printf("输入错误,重新输入\n"); shuru(); } if(a==0 && b==0) { printf("合取:\n"); printf(" P ∧Q=0\n"); printf("析取:\n"); printf(" P ∨Q=0\n"); printf("条件:\n"); printf(" P->Q=1\n"); printf("双条件:\n"); printf(" PQ=1\n"); } if(a==0 && b==1) { printf("合取:\n"); printf(" P ∧Q=0\n"); printf("析取:\n"); printf(" P ∨Q=1\n"); printf("条件:\n"); printf(" P->Q=1\n"); printf("双条件:\n"); printf(" PQ=0\n"); }

if(a==1 && b==0) { printf("合取:\n"); printf(" P ∧Q=0\n"); printf("析取:\n"); printf(" P ∨Q=1\n"); printf("条件:\n");

printf(" P->Q=0\n"); printf("双条件:\n"); printf(" PQ=0\n"); }

if(a==1 && b==1) { printf("合取:\n"); printf(" P ∧Q=1\n"); printf("析取:\n"); printf(" P ∨Q=1\n"); printf("条件:\n"); printf(" P->Q=1\n"); printf("双条件:\n"); printf(" PQ=1\n"); } printf("是否继续运算?(y/n)\n"); scanf("%c",&c); if(c=='y') yunsuan(); else return; }

3. 实验数据及结果分析;


相关文章

  • 数学逻辑学论文-
  • 哈尔滨师范大学 题 目 命题逻辑在数学教学中的应用 学 生 指导教师 鲍曼 年 级 2013 专 业 信息与计算科学 系 别 数学系 学 院 数学科学学院 哈尔滨师范大学 年 月 论 文 提 要 本文主要讨论了命题逻辑与数学以及数学教学之间的关系 , 并说明中学数学教师学习命题逻辑的重要意义以及命题 ...

  • 离散数学教学大纲(本科)
  • <离散数学>课程教学大纲 一. <离散数学>课程说明 课程英文名称:Discrete mathematics 课程类型:考试课 课程性质:专业技术基础课 总学时: 72学时 适用对象:计算机科学与技术专业本科生 先修课程:高等数学 线性代数 (一)课程简介 离散数学,是现代数 ...

  • 离散数学教学实践与思考
  • 第7卷第1期2 5年3月 ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! 河北农业大学学报(农林 ...

  • 北京市高中数学教材目录
  • 必修1 第一章 集合 1.1集合与集合的表示方法 1.2集合之间的关系与运算 第二章 函数 2.1函数 ∙ 2.1.1函数 ∙ 2.1.2函数的表示方法 ∙ 2.1.3函数的单调性 ∙ 2.1.4函数的奇偶性 2.2一次函数和二次函数 ∙ 2.2.1一次函数的性质和图像 ∙ 2.2.2二次函数的性质 ...

  • 高中数学各章节
  • 高中数学目录 此文为人教必修版新教材高中数学目录 必修一 第一章 1.1集合与集合的表示方法 1.1.1集合的概念 1.1.2集合的表示方法 第二章 2.1函数 2.1.1函数 2.1.2函数的表示方法 2.1.3函数的单调性 2.1.4函数的奇偶性 2.1.5用计算机作函数图像(选学) 2.2一次 ...

  • 人教版高中数学章教材目录章节摘要
  • 人教版高中数学章节摘要 必修1 第一章 集合与函数概念 1.1 集合 1.2 函数及其表示 1.3 函数的基本性质 第二章 基本初等函数(Ⅰ) 2.1 指数函数 2.2 对数函数 2.3 幂函数 第三章 函数的应用 3.1 函数与方程 3.2 函数模型及其应用 必修2 第一章 空间几何体 1.1 空 ...

  • 离散数学考试说明
  • <离散数学>考试说明 内容指要 一.集合论 空集的性质,集合之间的并.交.差.补和对称差运算 二.数理逻辑 1. 命题的概念: 2. 5种基本的联结词(乛,∧,∨,→,)的含义: 3. 全称量词(∀x) ,存在量词(∃x) 的含义: 4. 如何求给定命题公式的主析取.主合取范式及其成真的 ...

  • 大学计算机要学的课程
  • 计算机课程 03023001 高等数学 Higher Mathematics [192-11-1.2] 内容提要:作为本专业的重要基础课程,内容以微积分.中值定理.不定积分. 定积分及其应用,多元函数微分法及其应用.重积分.曲线积分与 曲面积分.无穷级数及微分方程等. 修读对象:计算机科学与技术专业 ...

  • 20**年山东省高考数学试卷-(理科)
  • 2016年山东省高考数学试卷(理科) 一.选择题:本大题共10小题,每小题5分,共50分,每小题给出四个选项,只有一个选项符合题目要求. 1.(5分)(2016•山东)若复数z 满足2z+=3﹣2i ,其中i 为虚数单位,则z=( ) A .1+2i B .1﹣2i C .﹣1+2i D .﹣1﹣2 ...

© 2024 范文中心 | 联系我们 webmaster# onjobs.com.cn