离散数学的：证明：((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为命题公式.请给出证明过程.

人气：162 ℃　时间：2020-02-04 06:33:43

解答

右边：(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∨...