离散数学习题集和解答.docVIP

作业题与解答 第一章 19 (2)、(4) 、(6) 21 (1)、(2) 、(3) 19、(2) 解答: (p→┐p)→┐q 真值表如下: p q ┐p ┐q p→┐p (p→┐p)→┐q 0 0 1 1 1 1 0 1 1 0 1 0 1 0 0 1 0 1 1 1 0 0 0 1 19、(4) 所以公式(p→┐q)→┐q 为可满足式 解答: (p→q)→(┐q→┐p) 真值表如下: p q ┐p ┐q p→q ┐q→┐p (p→q)→(┐q→┐p) 0 0 1 1 1 1 1 0 1 1 0 1 1 1 1 0 0 1 0 0 1 1 1 0 0 1 1 1 所以公式(p→q)→(┐q→┐p)为永真式 19、(6)解答: ((p→q)∧(q→r))→(p→r) 真值表如下: p q r p→q q→r p→r (p→q)∧(q→r) ((p→q)∧(q→r))→(p→r) 0 0 0 1 1 1 1 1 0 0 1 1 1 1 1 1 0 1 0 1 0 1 0 1 0 1 1 1 1 1 1 1 1 0 0 0 1 0 0 1 1 0 1 0 1 1 0 1 1 1 0 1 0 0 0 1 1 1 1 1 1 1 1 1 所以公式((p→q)∧(q→r))→(p→r)为永真式 21、(1)解答: ┐(┐p∧q)∨┐r 真值表如下: p q r ┐p ┐r