证明(P→Q)→R等价(P∨R)∧(┐Q∨R)

Question

求大神！！！

Answer 1

P→Q<=>┐PvQ 所以(P→Q)→R<=>┐(┐PvQ)vR<=>(P∧┐Q)vR<=>(P∨R)∧(┐Q∨R),求采纳！