问题标题：
【离散数学证明题：证明((Q∧R)-->S)∧(R-->(P∨S))(R∧(P-->Q))-->S】
问题描述：
离散数学证明题：证明((Q∧R)-->S)∧(R-->(P∨S))(R∧(P-->Q))-->S
顾彬回答：
左边:((Q∧R)→S)∧(R→(PvS))=(┐(Q∧R)vS)∧(┐Rv(PvS))
=(┐Qv┐RvS)∧(┐RvPvS)
右边:(R∧(P→Q))→S=┐(R∧(┐PvQ))vS=(┐Rv(P∧┐Q)vS)
=((┐RvP)∧(┐Rv┐Q))vS=(┐RvPvS)∧(┐Rv┐QvS)
((Q∧R)→S)∧(R→(PvS))(R∧(P→Q))→S得证.
点击显示
数学推荐
热门数学推荐