作业帮离散数学等值式请问下面的等值式是怎么推理出来的.他一步到位了.中间省略了很多步骤!实在看不懂.全题：在某班班委会成员的选举中，已知王小红、李强、丁金生三位同学被选进不了班委
来源：学生作业帮助网 编辑：作业帮 时间：2024/05/02 06:34:27
离散数学等值式请问下面的等值式是怎么推理出来的.他一步到位了.中间省略了很多步骤!实在看不懂.全题：在某班班委会成员的选举中，已知王小红、李强、丁金生三位同学被选进不了班委
离散数学等值式
请问下面的等值式是怎么推理出来的.他一步到位了.中间省略了很多步骤!实在看不懂.
全题：
在某班班委会成员的选举中，已知王小红、李强、丁金生三位同学被选进不了班委会。该班的甲、乙、丙三名学生预言：
甲说：王小红为班长，李强为生活委员。
乙说：丁金生为班长，王小红为生活委员。
丙说：李强为班长，王小红为学习委员。
班委会分工名单公布后发现，丙三人都恰好猜对了一半。问王小红，李强，丁金生各任何职（用等值等演求解？）
这是这道题全题。 答案实在看不懂。最后是用三名推理的。
离散数学等值式请问下面的等值式是怎么推理出来的.他一步到位了.中间省略了很多步骤!实在看不懂.全题：在某班班委会成员的选举中，已知王小红、李强、丁金生三位同学被选进不了班委
利用等值式进行等值演算,很明显主要是用分配律.这没有什么难处,就是写起来挺繁琐的.6个小括号内看作一个整体,分别记作ABCDEF.先用分配律,得到8个合取式组成的析取式,再判断每一个式子的真值：
A∧C∧E的真值是0,因为p1与p2不能同时为真.其余的类似判断.只有B∧C∧F的真值是1,就是答案的结果
图片里第一个式子是没有错。
不是p1,p2,p3,q1,q2,r1之间并不是相互独的
r1其实就可以表达为非p1^非q1(小红和李强都不是班长)
其中还有一些互斥的关系，因为班长只有一个，所以这几个关系中肯定会有互斥的比如：
p1^q1=0,p2^q3=0,这些也可以放到式子中化简，
因为确实非常繁琐，符号也不好打，所以见谅啦
如果有标准答案，我可以...
全部展开
图片里第一个式子是没有错。
不是p1,p2,p3,q1,q2,r1之间并不是相互独的
r1其实就可以表达为非p1^非q1(小红和李强都不是班长)
其中还有一些互斥的关系，因为班长只有一个，所以这几个关系中肯定会有互斥的比如：
p1^q1=0,p2^q3=0,这些也可以放到式子中化简，
因为确实非常繁琐，符号也不好打，所以见谅啦
如果有标准答案，我可以给你解释每一步来源.....
收起