谁去出国学习（python）

某公司要从赵、钱、孙、李、周五名新毕业的大学生中选派一些人出国学习。选派必须满足以下条件：（1）若赵去，则钱也去

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

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

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

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

代码实现如下

#p:赵去 q:钱去 r:孙去 s:李去 t:周去  原子命题
for p in range(2):
    for q in range(2):
        for r in range(2):
            for s in range(2):
                for t in range(2):
                    #将五句话符号化用A、B、C、D、E来表示
                    A=not p or q
                    B=s or t
                    C=(q and not s) or (not q and s)
                    D=(r and s) or (not r and not s)
                    E=not t or(p and q)
                    #依次循环，当五句话同时成立时，输出结果
                    if(A and B and C and D and E):
                        print("赵{},钱{},孙{},李{},周{}".format(p,q,r,s,t))