求下列命题公式的主合取范式和主析取范式,并判断公式是否为重言式或矛盾式。
(1) (PvQ)→(PQ)
(2) (P→Q)(P→Q)
(3)(R(∧Q→P))→(P→(QvR))
命题公式(P∧Q)→P是下列4个中的哪一个?
(1)永真式 (2)永假式
(3)可满足式 (4)合取范式
命题公式(P∧Q)→P是下列4个中的哪一个?
(1)永真式; (2)永假式;
(3)可满足式; (4)合取范式.
A.[‘aa’,‘bb’,‘dd’]
B.[‘aa’,‘cc’,‘dd’]
C.[‘cc’,‘bb’,‘dd’]
D.[‘aa’,‘bb’,‘cc’,‘dd’]