某公司要从赵,钱,孙,李,周5名新毕业的大学生中选派一些人出国留学,选派必须满足以下条件:(1)如果赵去,钱也去(2)李,周两人中必有一人去(3)钱,孙两人中去且仅去一个(4)孙,李两人同去或同不去(5)如果周去,钱也去
用等值演算法分析该公司如何选派他们出国
人气:298 ℃ 时间:2020-09-30 21:57:24
解答
孙和李去能给出解题过程吗,(将题目符号化)解此类问题的步骤应为:① 将简单命题符号化② 写出各复合命题③ 写出由各复合命题组成的合取式④ 将写出的公式化成析取范式,给出其成真赋值,即可得到答案。具体解法如下:① 令 p:派赵去q:派钱去r:派孙去s:派李去u:派周去②(1) p→q(2) s∨u(3) ((q∧┐r)∨(┐q∧r))(4) ((r∧s)∨(┐r∧┐s))(5) u→(p∧q)③ 设A=(p→q)∧(s∨u)∧((q∧┐r)∨(┐q∧ r))∧((r∧s)∨(┐r∧┐s)) ∧(u→(p∧q))④ 求A的析取范式(用等值演算法),简要过程如下:A(┐p∨q)∧(s∨u)∧((q∧┐r)∨( ┐q∧r))∧((r∧s)∨(┐r∧┐s))∧(┐u∨(p∧q)) (┐p∨q)∧((q∧┐r)∨(┐q∧r))∧((r∧s)∨(┐r∧┐s))∧(s∨u)∧(┐u∨(p∧q)) ((┐p∧q∧┐r)∨(q∧┐r)∨(┐p∧┐q∧r))∧((r∧s)∨(┐r∧┐s))∧(s∨u)∧(┐u∨(p∧q)) ((q∧┐r)∨(┐p∧┐q∧r))∧((r∧s)∨(┐r∧┐s))∧(s∨u)∧(┐u∨(p∧q))(用了吸收律) ((┐p∧┐q∧r∧s)∨(q∧┐r∧┐s))∧(s∨u)∧(┐u∨(p∧q)) ((┐p∧┐q∧r∧s)∨(┐p∧┐q∧r∧s∧u)∨(q∧┐r∧┐s∧u))∧(┐u∨(p∧q)) (┐p∧┐q∧r∧s∧┐u)∨(p∧q∧┐r∧┐s∧u)最后一步得到一个主析取范式,含有两个极小项。当p,q,r,s,u取值分别为0,0,1,1,0 或 1,1,0,0,1 时,A为真,故公司应派孙、李去,而赵、钱、周不去,或赵、钱、周去,而孙、李不去。注意,在演算中,多次用了矛盾律和同一律。
推荐
- 《离散数学》3试题
- 离散数学复习题求答案
- 果园里有一筐苹果,里面有m个苹果.现在要把他们装进容量为3个或者是5个的包装袋,试证明当m>=8时,这筐苹果能够恰好装进包装袋而没有剩余.
- 1.设R和S是集合A上的对称关系,证明或反证:R-S也是A上的一个对称关系.
- 《离散数学》试题1
- 一、 填空题:(每空题2分,共36分) 1、扣件式钢管脚手架的主要杆件有立杆、大横杆、小横杆、 、 、 、
- 一个圆柱形的水池,高是5m,平均每天用1.2吨10天后水池里的水减少30%,这个水池的底面积是多少?
- 补充诗句,指出人物是谁,并写出他的名字.(1)故人西辞黄鹤楼,——————故人指( )
猜你喜欢
- ad和be分别是△ABC的∠CAB和∠CBA的外角平分线,CD⊥AD,CE⊥BE ,已知BC=a,CA=b,AB=c,求DE的长
- 1my good friend tom often------(GO)--------(JOG)after school
- 把5个数从小到大排列,其平均数是38,前3个数的平均数是27,后3个数的平均数是48,中间一个数是多少?
- 直接引用句改为间接引用句,间接引用句改为直接引用句,陈述句改为双重否定句,各求5个
- 求4+1/(1/10+1/11+1/12+1/13+1/14+1/15+1/16+1/17+1/18+1/19)的整数部分
- 重庆市九龙坡区杨家坪西郊三村1号1幢的英文地址怎么写?
- 棱长为2倍根号2的正方体中,O是A一瞥C一瞥的中点,你能算出BO的长度吗?
- 高斯平面定义