问题标题：
离散数学的：证明：((Q∧R)→S)∧(R→(P∨S)⇔(R∧(P→Q))→S,其中P,Q,R,S为命题公式.请给出证明过程.
问题描述：
离散数学的：证明：((Q∧R)→S)∧(R→(P∨S)⇔(R∧(P→Q))→S,其中P,Q,R,S为命题公式.请给出证明过程.
高雪强回答：
右边：(R∧(P→Q))→S⇔┐(R∧(┐P∨Q))∨S⇔(┐R∨P∧┐Q)∨S⇔(┐R∨S)∨(┐Q∧P)左边：((Q∧R)→S)∧(R→(P∨S)⇔(┐(Q∧R)∨S)∧(┐R∨(P∨S))⇔(┐Q∨┐R∨S)∧(┐R∨P∨...
点击显示
数学推荐
热门数学推荐