
求下列命题公式的主合取范式和主析取范式,并判断公式是否为重言式或矛盾式。(1) (PvQ)→(PQ)(2)
求下列命题公式的主合取范式和主析取范式,并判断公式是否为重言式或矛盾式。(1) (PvQ)→(PQ)(2)
求下列命题公式的主合取范式和主析取范式,并判断公式是否为重言式或矛盾式。
(1) (PvQ)→(P
Q)
(2) (P→Q)(P→
Q)
(3)(R(∧Q→P))→(P→(QvR))