问题描述: 离散数学证明题:证明((Q∧R)-->S) ∧(R-->(P∨S))(R∧(P-->Q))-->S 1个回答 分类:数学 2014-10-10 问题解答: 我来补答 左边:((Q∧R)→S)∧(R→(PvS)) = (┐(Q∧R)vS)∧(┐Rv(PvS))= (┐Q v ┐R v S)∧(┐R v P v S)右边:(R∧(P→Q))→S = ┐(R∧(┐PvQ))v S = (┐R v (P∧┐Q) v S )= ((┐RvP)∧(┐R v ┐Q))v S = (┐R v P v S)∧(┐R v ┐Q v S)((Q∧R)→S)∧(R→(PvS)) (R∧(P→Q))→S得证. 展开全文阅读