离散数学，使用等价式证明下列等价式

Question

如题所述

Answer 1

左边 <==> ((┐R→┐R)→P)→((┐P→┐P)→R)
<==> ┐(┒(┒┐R∨┐R)∨P)∨(┒(┒┐P∨┐P)∨R)
<==> ┐(┒(R∨┐R)∨P)∨(┒(P∨┐P)∨R)
<==> ( (R∨┐R)∧┒P)∨((┒P∧P)∨R)
<==> ( 1∧┒P)∨(0∨R)
<==> ┒P∨R
<==> 右边本回答被提问者采纳