P→（P∧（Q→P））的主析取范式和主合取范式

题目

P→（P∧（Q→P））的主析取范式和主合取范式
这个公式是重言式,主合取范式?

答案

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
最后结果说明该式是重言式.
（可能数学符号用的不是很规范,）