P→(P^(Q→P))
=┐P V (P^(┐Q V P))
=┐P V ((P^┐Q)V(P^P))
=┐P V ((P^┐Q)V P)
=┐P V (P^┐Q)V P
=┐P V P
=1
最后结果说明该式是重言式.
（可能数学符号用的不是很规范,）