推理题在某班班委成员的选举中,已知王小红,李强,丁金生三位同学被选举进了班委会,该班的甲,乙,丙三名学生语言：甲说：王小

楼主您好!很高兴为您答题!
设P：王小红为班长； Q：李强为生活委员； R：丁金生为班长；
S：王小红为生活委员； M：李强为班长； N：王小红为学习委员.
由已知条件可得公式：
T: ( P∧Q)∨(P∧ Q)
U: ( R∧S)∨(R∧ S)
W: ( M∧N)∨(M∧ N)
根据题意得G T∧U∧W T,于是
G T∧U∧W
(( P∧Q)∨(P∧ Q))∧(( R∧S)∨(R∧ S))∧W
(( P∧Q∧ R∧S)∨( P∧Q∧R∧ S)∨(P∧ Q∧ R∧S)∨(P∧ Q∧R∧ S))∧W
由于P和R不能同时为真,Q和S不能同时为真,P和S不能同时为真（因为这样
不符合题意）,故上式变为：
G ( P∧Q∧R∧ S) ∧(( M∧N)∨(M∧ N))
( P∧Q∧R∧ S∧ M∧N)∨( P∧Q∧R∧ S∧M∧ N)
由于P,R,M不能同时为真,P,S,N不能同时为真（因为这样不符合题意）,则上式仅
剩一项 P∧Q∧R∧ S∧ M∧N,可见王小红不是班长,李强是生活委员,丁金生是班长,王小红不是生活委员,李强不是班长,王小红是学习委员,于是得到：
王小红是学习委员,李强是生活委员,丁金生是班长.
欢迎追问!有帮助望采纳!谢谢!
再问： 这个方法好像在百度知道里有，不过我看不懂，你能解释一下吗
再答： 利用等值式进行等值演算，很明显主要是用分配律。这没有什么难处，就是写起来挺繁琐的。6个小括号内看作一个整体，分别记作ABCDEF。先用分配律，得到8个合取式组成的析取式，再判断每一个式子的真值： A∧C∧E的真值是0，因为p1与p2不能同时为真。其余的类似判断。只有B∧C∧F的真值是1，就是答案的结果