用基本等价式证明((┐R→┐R)→P)→((┐P→┐P)→R)= ┐P∨R离散数学用基本等价式证明

问题描述:

用基本等价式证明((┐R→┐R)→P)→((┐P→┐P)→R)= ┐P∨R
离散数学用基本等价式证明

((┐R→┐R)→P)→((┐P→┐P)→R)┐((┐(R∨┐R))∨P)∨(┐(P∨┐P)∨R)┐(F∨P)∨(F∨R)┐P∨R