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最后结果说明该式是重言式.

（可能数学符号用的不是很规范,

）