用python实现派谁出国的推理(屈婉玲 离散数学P45 30)

离散数学P45 30)"/>

用python实现派谁出国的推理(屈婉玲 离散数学P45 30)

目录：一：题目及分析

二：代码实现

1.题目：某公司要从赵，钱，孙，李，周五名新毕业的大学生中选派一些人出国学习，选派必须满足以下条件：

（1）若赵去，则钱也去

（2）李，周两人中必有一人去

（3）钱，孙两人中去且仅去一人

（4）孙，李两人同去或者同不去

（5）若周去，则赵，钱也同去

分析该公司如何选派他们出国学习。

解：由题设置命题为：

p：赵去 ，q：钱去，r：李去，m：周去，n：孙去

同时，将“p→q”等价为“┐p∨q”，则进行代码的编写

2.代码实现

ls = [0,1]
for p in ls:for q in ls:for r in ls:for m in ls:for n in ls:A = ((not p) or q)B = (r or m)C = (q and (not n)) or ((not q) and n)D = (r and n) or ((not r) and (not n))E = ((not m) or (p and q))F = A and B and C and D and Eif F == 1:print("派赵出国学习:{},派钱出国学习:{}，派李出国学习:{}，派周出国学习:{}，派孙出国学习:{}".format(p,q,r,m,n))

运行结果：

Python 3.10.0 (tags/v3.10.0:b494f59, Oct  4 2021, 18:46:30) [MSC v.1929 32 bit (Intel)] on win32
Type "help", "copyright", "credits" or "license()" for more information.== RESTART: C:/Users/ASUS/AppData/Local/Programs/Python/Python310-32/派谁出国学习.py =
派赵出国学习:0,派钱出国学习:0，派李出国学习:1，派周出国学习:0，派孙出国学习:1
派赵出国学习:1,派钱出国学习:1，派李出国学习:0，派周出国学习:1，派孙出国学习:0

通过代码运行结果可以发现：该公司存在两种方案可以采取

①同时派李和孙出国学习

②同时派赵，钱，周出国学习