离散数学用c++实现离散数学逻辑推理

本文仅为学习记录，如有疏漏，还请大家指正；

本题为离散数学课后习题题目描述如下：

某公司要从赵，钱，孙，李，周五名新毕业的大学生中选派一些人出国学习。选派必须满足以下条件：
1，若赵去，则钱也去。
2，李，周两人中必有一人去。
3，钱，孙两人中去且仅去一人。
4，孙，李两人同去或同不去。
5，若周去，则赵，钱也同去。

解法如下：可以设命题p,q,r,s,t分别表示赵，钱，孙，李，周去，将题中所给的五句话翻译为

1：(p->q)
2:(s&&t)||(!s&&t)||(s&&!t)
3:(q&&!r)||(!q&&r)
4:(r&&s)||(!r&&!s)
5:(t->(p&&q) )

其中1和5再推导一下，接下来的运算就交给计算机了，代码如下

#include<iostream>
using namespace std;
int p,q,r,s,t;//p(赵),q(钱),r(孙),s(李),t(周)
int main(){for(int p=0;p<=1;p++){for(int q=0;q<=1;q++){for(int r=0;r<=1;r++){for(int s=0;s<=1;s++){for(int t=0;t<=1;t++){if((!p||q)&&(r||t)&&((q&&!s)||(!q&&s))&&((r&&s)||(!r&&!s))&&(!t||(p&&q))){if(p==1) cout<<"赵去"<<endl;if(q==1) cout<<"钱去"<<endl;if(r==1) cout<<"孙去"<<endl;if(s==1) cout<<"李去"<<endl;if(t==1) cout<<"周去"<<endl;cout<<endl;}}}}}}return 0;
}

离散数学用c++实现离散数学逻辑推理相关推荐

离散数学计算机专业论文,离散数学
案例教学法是一种以案例为基础的教学法,是由美国哈弗法学院前院长克里斯托弗.朗代尔于1870年首创,在医学.管理学等许多学科应用广泛.本文将案例教学法应用到离散数学命题逻辑部分,通过选择真实可信的.客观 ...
离散数学：用python解决逻辑推理问题
目录前言一.王教授是哪里人 1.题目 2.代码实现 3.运行结果二.谁是班委 1.题目 2.代码实现 3.运行结果三.谁出国学习 1.题目 2.代码实现 3.运行结果总结前言离散数学(第 ...
离散数学反对称关系_【离散数学】1.2＆1.3集合与元素，集合与集合之间的关系...
离散数学是编程人员进阶的必修科目,是计算机专业学生的基础课程之一,多为理论性知识,较抽象. [离散数学]第一章(集合论基础)的小节主要有: 1.1集合的定义和表示 1.2集合与元素的关系 1.3集合与 ...
离散数学反对称关系_《离散数学》学习记录 - 集合论
来源:北京大学<离散数学>公开课地址:https://www.bilibili.com/video/av18896337/?p=12 2.1 有序对和卡氏积有序对<a,b> ...
排列组合离散数学_排列组| 离散数学
排列组合离散数学排列组 (Permutation Group) Let, X be a non-empty set. A permutation of X is a one-one functio ...
离散数学第二版计算机系,离散数学第2版
图书简介获奖情况:"十一五"国家级规划教材.国家级精品课配套教材配套资源:电子课件.教学思路流程图作者简介: 王元元,解放军理工大学教授,国家级教学名师,中国人工智能学会离散 ...
离散数学中偏序关系_离散数学中偏序关系的应用研究.docx
摘要:作为现代数学这一研究领域的其中一个重要而不可或缺的分支,离散数学课程研究的是关于离散量的结构及离散量与离散量相互间存在的关系.除了数理逻辑,离散数学还研究了集合论.组合数学.代数结构和图论这几个 ...
山科大离散数学期末考试_离散数学期末考试及答案
1 / 1 沈阳师范大学离散考试预测题一. 选择题(共 10 题,每题 3 分,共 30 分) 1 .下列语句为命题的是( ). A ．勿踏草地:. B ．你去图书馆吗?: C ．月球上有水: D ...
离散数学中偏序关系_4173 离散数学之偏序关系
偏序关系 Time Limit: 1000 ms Memory Limit: 65536 KiB Submit Statistic Problem Description 给定有限集上二元关系的关系矩 ...
处于计算机学科的基础地位,谈谈离散数学在计算机学科中的地位和作用(原稿)...
<谈谈离散数学在计算机学科中的地位和作用(原稿).doc>由会员分享,可免费在线阅读全文,更多与<谈谈离散数学在计算机学科中的地位和作用(原稿)>相关文档资源请在帮帮文库(ww ...

离散数学用c++实现离散数学逻辑推理

离散数学用c++实现离散数学逻辑推理相关推荐

最新文章

热门文章

离散数学 用c++实现离散数学逻辑推理

离散数学 用c++实现离散数学逻辑推理相关推荐

最新文章

热门文章

离散数学用c++实现离散数学逻辑推理

离散数学用c++实现离散数学逻辑推理相关推荐