离散数学等值式

题目

离散数学等值式
请问下面的等值式是怎么推理出来的.他一步到位了.中间省略了很多步骤!实在看不懂.
全题：
在某班班委会成员的选举中，已知王小红、李强、丁金生三位同学被选进不了班委会。该班的甲、乙、丙三名学生预言：
甲说：王小红为班长，李强为生活委员。
乙说：丁金生为班长，王小红为生活委员。
丙说：李强为班长，王小红为学习委员。
班委会分工名单公布后发现，丙三人都恰好猜对了一半。问王小红，李强，丁金生各任何职（用等值等演求解？）
这是这道题全题。  答案实在看不懂。最后是用三名推理的。

答案