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

问题描述:

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

P→Q┐PvQ 所以(P→Q)→R┐(┐PvQ)vR(P∧┐Q)vR(P∨R)∧(┐Q∨R),求采纳!