用基本等价式证明((┐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