离散数学 第二版 高职计算机应用技术 王宗传 习题解答习题答案.docVIP

习题1.1 1．判断下列哪些语句是命题．若是命题，区分简单命题与复合命题并说明其真值． （1）会议9点开始吗？ （2）人不犯我，我不犯人；人若犯我，我必犯人． （3）2008年北京奥运会开幕式那天，天气很晴朗． （4）请全体起立！ （5）太阳系以外的星球上也有生命． （6） （7）太阳从西方升起当且仅当他喜欢看NBA． （8）青岛真是一个美丽的海滨城市啊 （9）除非明天下雨，否则运动会会如期举行． （10）2或是素数或是合数． 答案： 不是 ； （2）是复合命题，真值为真 ； （3）是简单命题，真值以具体情况而定； （4）不是 ； （5）是复合命题，真值为真； （6）不是 ； （7）是复合命题，真值为真； （8）不是 ； （9）是复合命题，真值为真 ； （10）是复合命题，真值为真。 2．将下列命题符号化． （1）小明不仅喜欢踢足球，也喜欢打篮球． （2）小明不是不喜欢踢足球，而是不喜欢打篮球． （3）假如下午不下雨，我就去广场溜狗，否则就在家里看电视或者做家务． （4）吃得苦中苦，方为人上人． 答案： :小明喜欢踢足球 :小明喜欢打篮球 :小明喜欢踢足球 :小明喜欢打篮球 （3）:下午下雨 :我去广场遛狗 :我在家里看电视 :我在家里做家务 （4）:吃得苦中苦 :为人上人 3．设命题的真值分别为，求下面命题的真值． （1） （2） （3） （4） 答案： （1）真 ； （2）真 ； （3）真 ； （4）真。 习题1.2 1．说明下列符号串中哪些是命题公式．若是公式，用真值表法判断其类型． （1） （2） （3） （4） （5） （6） 答案： 不是，p和r之间缺少联结词； 不是，非p和后面的缺少联结词； 是， p q T T F F F T F F F F F T T T T F F T F F 是， p q （ T T T F T T F F T T F T F F F F F F F F （5）是， p T F F T F T T T （6）是， p q r T T T F T F F F T T F T T F F F T F T F T F F F T F F T T F F F F T T F T F F F F T F T T F F F F F T F T F F F F F F T T F F F 习题1.3 1．用等值演算法证明下列等值式． （1） （2） （3） （4） 答案： (1). （2） （3） （4） 2．用等值演算法判断下列公式的类型． （1） （2） （3） （4） 答案： （1） 所以（1）为永真式 （2） 所以（2）为永假式 （3） 所以（3）为永真式 （4） 所以（4）为一般式 习题1.4 1．写出与公式，，分别等值的三个公式，要求它们的联结词集合为；再将等值地换成仅含联结词“”的形式． 答案： ：； : ； :； 。 2．已知公式，试将此两公式化成仅含联结词“”的形式，分别写出它们的对偶式，并证明其对偶式也等值． （1） 两式的对偶式都为：，因对偶式一样所以对偶式等值 习题1.5 1．求下列命题公式的析取范式． （1） （2） （3） 答案： （1） （2） （3） 2．求下列命题公式的主析取范式． （1） （2） （3） 答案： （1） 所以其主析取范式为： （2）  （3） 3．求下列命题公式的合取范式． （1） （2） （3） 答案： （1） （2） （3） 4．求下列命题公式的主合取范式． （1） （2） （3） 答案： （1） （2） （3） 5．已知、、、是含命题变项的公式，且 （1）是永真式；　　　　　　　　（2）是永假式； （3）的成真赋值为000，010，101；（4）的成假赋值为011，100，101，010．求的成真赋值和成假赋值，并写出、、、的极小项和极大项． 答案： 成真赋值：无；成假赋值：000、001、010、011、100、101、110、111；