离散数学 用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<&
评论
添加红包

请填写红包祝福语或标题

红包个数最小为10个

红包金额最低5元

当前余额3.43前往充值 >
需支付:10.00
成就一亿技术人!
领取后你会自动成为博主和红包主的粉丝 规则
hope_wisdom
发出的红包
实付
使用余额支付
点击重新获取
扫码支付
钱包余额 0

抵扣说明:

1.余额是钱包充值的虚拟货币,按照1:1的比例进行支付金额的抵扣。
2.余额无法直接购买下载,可以购买VIP、付费专栏及课程。

余额充值