离散数学的:证明:((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∨...