离散数学课后习题答案(焦占亚版)(3)

第1章 习题解答

⑻p→(q∨r) ??p∨(q∨r) (条件等价式) ?(?p∨q)∨r (结合律) ??(p∧?q)∨r (德·摩根律) ?(p∧?q)→r (条件等价式)

6.试用真值表证明下列命题定律。

⑴结合律：(p∨q)∨r?p∨(q∨r)，(p∧q)∧r?p∧(q∧r) 证明：证明结合律的真值表如表1.37和表1.38所示。

表1.37

p 0 0 0 0 1 1 1 1 q 0 1 1 0 0 r 0 0 1 0 1 p∨q?(p∨q)∨r?q∨r?p∨(q∨r)?0 0 1 1 1 1 1 1 0 1 1 1 1 1 1 1 0 1 1 1 0 1 1 1 0 1 1 1 1 1 1 1 0 1 1 0 1 1

表1.38

p 0 0 0 0 1 1 1 1 q 0 0 1 1 0 0 1 1 r 0 1 0 1 0 1 0 1 p∧q?(p∧q)∧r?q∧r?p∧(q∧r)?0 0 0 0 0 0 1 1 0 0 0 0 0 0 0 1 0 0 0 1 0 0 0 1 0 0 0 0 0 0 0 1

由真值表可知结合律成立。

⑵分配律：p∧(q∨r)?(p∧q)∨(p∧r)，

p∨(q∧r)?(p∨q)∧(p∨r)

证明：证明合取对析取的分配律的真值表如表1.39所示，析取对合取的的分配律的真值表如表1.40所示。

11

第1章 习题解答

表1.39

p 0 0 0 0 1 1 1 1 q 0 1 1 0 0 r 0 0 1 0 1 q∨r?0 1 1 1 0 1 1 1 p∧(q∨r)?0 0 0 0 0 1 1 1 p∧q?0 0 0 0 0 0 1 1 p∧r?0 0 0 0 0 1 0 1 (p∧q)∨(p∧r)?0 0 0 0 0 1 1 1 0 1 1 0 1 1

表1.40

p 0 0 0 0 1 1 1 1 q 0 0 1 1 0 0 1 1 r 0 1 0 1 0 1 0 1 q∧r?0 0 0 1 0 0 0 1 p∨(q∧r)?0 0 0 1 1 1 1 1 p∨q?0 0 1 1 1 1 1 1 p∨r?0 1 0 1 1 1 1 1 (p∨q)∧(p∨r)?0 0 0 1 1 1 1 1

由真值表可知分配律成立。 ⑶假言易位式：p→q??q→?p

证明：证明假言易位式的真值表如表1.41所示。

表1.41

p 0 0 1 1 q 0 1 0 1 p→q 1 1 0 1 ?q?1 0 1 0 ?p?1 1 0 0 ?q→?p?1 1 0 1

由真值表可知假言易位律成立。

⑷双条件否定等价式：p?q??p??q

证明：证明双条件否定的真值表如表1.42所示。

12

第1章 习题解答

表1.42

p 0 0 1 1 q 0 1 0 1 p?q 1 0 0 1 ?p?1 1 0 0 ?q?1 0 1 0 ?p??q?1 0 0 1

由真值表可知双条件否定等价式成立。

13

第1章 习题解答

习题 1.4

1.用真值表或等价演算判断下列命题公式的类型。 ⑴(p∨?q)→q ??(p∨?q)∨q ?(?p∧q)∨q

?q （可满足式） ⑵?(p→q)∧q ??(?p∨q)∧q ?(p∧?q)∧q ?F（永假式） ⑶(p→q)∧p→q ?(?p∨q)∧p→q

?(?p∧p)∨(q∧p)→q ?(q∧p)→q ??(q∧p)∨q ?(?q∨?p)∨q ?T(永真式) ⑷(p→q)∧q ?(?p∨q)∧q ?q（可满足式） ⑸(p→q)→(?q→?p) ?(p→q)→(p→q) ?T(永真式)

⑹((p→q)∧(q→r))→(p→r)

??((?p∨q)∧(?q∨r))∨(?p∨r) ?(p∧?q)∨(q∧?r)∨(?p∨r)

?(p∧?q)∨((?p∨q∨r)∧(?p∨?r∨r)) ?(p∧?q)∨(?p∨q∨r)

?(?p∨q∨r∨p)∧(?p∨q∨r∨?q) ?T(永真式) ⑺?p→(p→q) ? p∨(?p∨q) ?T(永真式) ⑻p→(p∨q∨r) ??p∨(p∨q∨r) ?T(永真式)

2.用真值表证明下列命题公式是重言式。

14

（条件等价式） （德·摩根律） （吸收律） （条件等价式） （德·摩根律） （结合律、矛盾律） （条件等价式） （分配律）

（同一律、矛盾律） （条件等价式） （德·摩根律） （零律、排中律） （条件等价式） （吸收律） （假言易位式）

（条件等价式） （德·摩根律） （分配律）

（同一律、排中律、零律）（分配律）

（条件等价式）

（条件等价式）

第1章 习题解答

⑴(p∧(p→q))→q

(p∧(p→q))→q的真值表如表1.43所示。由表1.43可以看出(p∧(p→q))→q是重言式。

表1.43

p 0 0 1 1 q p→q p∧(p→q)?(p∧(p→q))→q?0 1 0 1 1 1 0 1 0 0 0 1 1 1 1 1

⑵(?q∧(p→q))→?p

(?q∧(p→q))→?p的真值表如表1.44所示。由表1.44可以看出(?q∧(p→q))→?p是重言式。

表1.44

p 0 0 1 1 q p→q ?q??q∧(p→q)??p?(?q∧(p→q))→?p?0 1 0 1 1 1 0 1 1 0 1 0 1 0 0 0 1 1 0 0 1 1 1 1

⑶(?p∧(p∨q))→q

(?p∧(p∨q))→q的真值表如表1.45所示。由表1.45可以看出(?p∧(p∨q))→q是重言式。

表1.45

p 0 0 1 1 q p∨q ? p??p∧(p∨q)?0 1 0 1 0 1 1 1 1 1 0 0 0 1 0 0 (?p∧(p∨q))→q?1 1 1 1

⑷((p→q)∧(q→r))→(p→r)

((p→q)∧(q→r))→(p→r)的真值表如表1.46所示。由表1.46可以看出((p→q)∧(q→r))→(p→r)是重言式。

15

百度搜索“77cn”或“免费范文网”即可找到本站免费阅读全部范文。收藏本站方便下次阅读，免费范文网，提供经典小说综合文库离散数学课后习题答案(焦占亚版)(3)在线全文阅读。