离散数学复习.pdfVIP

离散数学综合练习 1. 证明：（利用真值表和等价公式推证法）。 （P∧Q）→R （P→Q）→（P→R） 2.用真值表法求  （P∨Q） （P→Q）的主析取范式。 3. 用真值表法判断下列命题公式中哪些是重言式？哪些是永假（矛 盾）式？哪些是可满足式？ ⑴（（P→Q）∧（Q→R））→（P→R）   ⑵（P∧ P） Q  ⑶ （Q→P）∧P 4.不用真值表法求（P→Q）→R 的主析取范式和主合取范式。