离散数学-杨圣洪等著-第一章习题二解答.pdfVIP

习题二 一、分别用等算演算与真值表法，判断下列公式是否存在主析取范式或主合取范式，若 有，请写出来。 (1)(¬p→q)→(¬q∨p) (2)(¬p→q)→(q∧r) (3)(p∨(q∧r))→(p∨q∨r) (4) ¬(q→¬p)∧¬p (5)(p∧q)∨(¬p∨r) (6)(p→(p∨q))∨r (7)(p∧q)∨r (8) (p→q)∧(q→r) (9) (p∧q)→q (10) ¬(r↔p)∧p∧q 解：(1) p q ¬p