用P’表示非P,
P→(P∧(Q→R))
=P’∨（P∧（Q’∨R))
=(P’∨P)∧(P’∨(Q’∨R))
=P’∨Q’∨R.