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