用Python实现判断

你在某班班委成员的选举中,已知王小红、李强、丁金生三位同学被选进了班委会.该班的甲,乙,丙三名 学生预言如下.

甲说:王小红为班长,李强为生活委员.

乙说:丁金生为班长,王小红为生活委员.

丙说:李强为班长,王小红为学习委员.

班委会分工名单公布后发现,甲、乙、丙三人都恰好猜对了一半,问:王小红、李强、丁金生各任何职？

用Python编程实现如下：

#p45.29
''' a1:王小红为班长
    a2:王小红为生活委员
    a3:王小红为学习委员
    b1:李强为班长
    b2:李强为生活委员
    c:丁金生为班长'''
for a1 in [0,1]:
    for a2 in [0,1]:
        for a3 in [0,1]:
            for b1 in [0,1]:
                for b2 in [0,1]:
                    for c in [0,1]:
                        if a1+b2==1 and c+a2==1 and b1+a3==1:#每个人只说对一半
                            if a1+a2+a3==1 and b1+b2==1:#每个人只能担任一个职位
                                if a1+b1+c==1 and a2!=b2:#不能有多个人担任一个职位
                                    if a1 == 1:#之后对结果进行翻译 
                                        print("王小红为班长")
                                    if a2 == 1:
                                        print("王小红为生活委员")
                                    if a3 == 1:
                                        print("王小红为学习委员")
                                    if b1 == 1:
                                        print("李强为班长")
                                    if b2 == 1:
                                        print("李强为生活委员")
                                    if c == 1:
                                        print("丁金生为班长")

之后得出结果为王小红为学习委员，李强为生活委员，丁金生为班长。（根据所问来确定原子命题，再根据条件对其进行限制）