关于离散数学的一道题目在某班班委成员的选举中，已知王小红，李强，丁金生三位同学被选举进了班委会，该班的甲，乙，丙三名学生语言：甲说：王小红为班长，李强为生活委员乙说

Question

关于离散数学的一道题目
在某班班委成员的选举中，已知王小红，李强，丁金生三位同学被选举进了班委会，该班的甲，乙，丙三名学生语言：
甲说：王小红为班长，李强为生活委员
乙说：丁金生为班长，王小红为生活委员
丙说：李强为班长，王小红为学习委员
班委会分工名单公布后发现，甲，乙，丙三人都恰好猜对了一半，问王小红，李强，丁金生个任何职（用等值等演求解）？
用等值等演方法求解，写出详细过程，按照推理我也能推得出来，但用等值等演方法就不会求解了

Answer 1

设P：王小红为班长； Q：李强为生活委员； R：丁金生为班长；S：王小红为生活委员； M：李强为班长； N：王小红为学习委员。由已知条件可得公式：T: ( P∧Q)∨(P∧ Q)U: ( R∧S)∨(R∧ S)W: ( M∧N)∨(M∧ N) ...