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

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

人气：241 ℃　时间：2020-04-17 13:54:52

解答

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