离散数学习题答案_2015.doc

《离散数学习题答案_2015.doc》由会员上传分享，免费在线阅读，更多相关内容在教育资源-天天文库。

1、..离散数学习题答案习题一1、利用逻辑联结词把下列命题翻译成符号逻辑形式（1）他既是本片的编剧，又是导演---P∧Q（2）银行利率一降低，股价随之上扬---P→Q（3）尽管银行利率降低，股价却没有上扬---P∧Q（4）占据空间的、有质量而且不断变化的对象称为物质---Mßà(S∧P∧T)（5）他今天不是乘火车去北京，就是随旅行团去了九寨沟---P▽Q（6）小张身体单薄，但是极少生病，并且头脑好使---P∧Q∧R（7）不识庐山真面目，只缘身在此山中---P→Q（解释：因为身在此山中，所以不识庐山真面目）（8）两个三角形相似，当且仅当他们的对应角相等或者对应边成比

2、例---Sßà(E∨T)（9）如果一个整数能被6整除，那么它就能被2和3整除。如果一个整数能被3整除，那么它的各位数字之和也能被3整除解：设P–一个整数能被6整除Q–一个整数能被2整除R–一个整数能被3整除S–一个整数各位数字之和能被3整除翻译为：（P→（Q∧R））∧（R→S）2、判别下面各语句是否命题，如果是命题，说出它的真值（1）BASIC语言是最完美的程序设计语言---Y，T/F（2）这件事大概是小王干的---N（3）x2=64---N（4）可导的实函数都是连续函数---Y，T/F（5）我们要发扬连续作战的作风，再接再厉，争取更大的胜利---N（6）客观

3、规律是不以人们意志为转移的---Y，T（7）到2020年，中国的国民生产总值将赶上和超过美国---Y，N/A（8）凡事都有例外---Y，F3、构造下列公式的真值表，并由此判别哪些公式是永真式、矛盾式或可满足式（1）（P∨（～P∧Q））→Q解：PQ～P∧QP∨（～P∧Q）（P∨（～P∧Q））→Q可满足式00001011111001011011（2）~（4）表略：（2）可满足式、（3）永真式、（4）可满足式..下载可编辑....4、利用真值表方法验证下列各式为永真式（1）~（8）略5、证明下列各等价式（3）P→（Q∨R）ó（P→Q）∨（P→R）证明：左式ó～P∨Q

4、∨Ró～P∨Q∨～P∨Ró（～P∨Q）∨（～P∨R）ó（P→Q）∨（P→R）ó右式（4）（P∧Q）∨（R∧Q）∨（R∧P）ó（P∨Q）∧（R∨Q）∧（R∨P）证明：左式ó(（P∨R）∧Q）∨（R∧P）ó(（P∨R）∨R))∧(（P∨R）∨P))∧（Q∨R）∧（Q∨P）ó（P∨Q）∧（R∨Q）∧（R∨P）ó右式6、如果P∨QóQ∨R,能否断定PóR？如果P∧QóQ∧R，能否断定PóR？如果～Pó～R，能否断定PóR？解：（1）如果P∨QóQ∨R，不能判断PóR，因为如果Q=P∨R,那么P∨QóP∨P∨RóQ∨R，但P可以不等价于R.（2）如果P∧QóQ∧R，不能

5、判断PóR，因为如果Q=P∧R,那么P∧QóP∧P∧RóQ∧R，但P可以不等价于R.（3）如果～Pó～R，那么有PóR，因为～Pó～R，则～P<->～R为永真式，及有P<->R为永真式，所以PóR.8、把下列各式用↑等价表示出来（1）(P∧Q)∨～P解：原式ó((P↑Q)↑(P↑Q))∨(P↑P)ó(((P↑Q)↑(P↑Q))↑((P↑Q)↑(P↑Q)))↑((P↑P)↑(P↑P))9、证明：{～→}是最小功能完备集合证明:因为{～,∨}是最小功能完备集合,所以,如果{～→}能表示出∨,则其是功能完备集合。由于P∨Qó(～P)→Q,所以{～→}是功能完备集合。

6、因为～→不能相互表示，所以{～→}是最小功能完备集合；同理可证：{非，条件非}也能将或表示出来：P∨Qó～(～P!→Q)8、分别利用真值表法和等价变换法求下列公式的主合取范式及主析取范式:(3)P→(R∧(Q→P))解：真值表法PQRQ→PR∧(Q→P)P→(R∧(Q→P))..下载可编辑....000101001111010001011001100100101111110100111111所以：主合取范式为=(～P∨Q∨R)∧(～P∨～Q∨R)=M4∧M6主析取范式为=(～P∧～Q∧～R)∨(～P∧～Q∧R)∨(～P∧Q∧～R)∨(～P∧Q∧R)∨(P∧～Q

7、∧R)∨(P∧Q∧R)=m0∨m1∨m2∨m3∨m5∨m7等价变换法（略）(4)(P→(Q∧R))∧(～P→(～Q∧～R))解：真值表法PQRQ∧R～Q∧～RP→(Q∧R)～P→(～Q∧～R)(P→(Q∧R))∧(～P→(～Q∧～R))0000111100100100010001000111010010001010101000101100001011110111所以：主合取范式为=(P∨Q∨～R)∧(P∨～Q∨R)∧(P∨～Q∨～R)∧(～P∨Q∨R)∧(～P∨Q∨～R)∧(～P∨～Q∨R)=M1∧M2∧M3∧M4∧M5∧M6主析取范式为=(～P∧～Q∧～R)

8、∨(P∧Q∧R)=m0∨m7等价变换法