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

右边