一个逻辑思维题目?

5家航空公司的业务范围都是欧洲的大城市,但是不同的价格所包含的服务差距是很大的。根据下面的信息,你能说出这些航空公司的名称,分别的总部,飞往的城市,以及服务的主要问题?
1.simplejet公司的总部在荷兰或葡萄牙,飞往法兰克福或巴黎。
2.herta航空公司飞往巴塞罗那或布拉格。
3.比利时航空公司要么就是食物很贵,要么就是不允许儿童乘坐。
4.座位很狭窄的航空公司不是babyall就是EFD,不是葡萄牙就是比利时的航空公司。
5.总是晚点的航空公司不是飞往布拉格就是法兰克福。
6.飞往伦敦的航空公司不是儿童不能乘坐,就是每两天才飞一次。
7.connor航空公司飞往巴塞罗那或法兰克福,它的总部不是在葡萄牙就是在意大利,不是飞机晚点就是食物很贵。
8.EFD航空公司飞往伦敦或法兰克福,不是座位狭窄就是飞机晚点。
9.有一家航空公司的总部在丹麦。
希望有人能解出这个逻辑思维题。结果不重要。只望能有高手指点解决的方法。小生感激不尽。
已邀请:

Belleve

赞同来自:

这不是著名的爱因斯坦谜题的变种么……
  1. simplejet公司的总部在荷兰或葡萄牙,飞往法兰克福或巴黎。
  2. herta航空公司飞往巴塞罗那或布拉格。
  3. 比利时航空公司要么就是食物很贵,要么就是不允许儿童乘坐。
  4. 座位很狭窄的航空公司不是babyall就是EFD,不是葡萄牙就是比利时的航空公司。
  5. 总是晚点的航空公司不是飞往布拉格就是法兰克福。
  6. 飞往伦敦的航空公司不是儿童不能乘坐,就是每两天才飞一次。
  7. connor航空公司飞往巴塞罗那或法兰克福,它的总部不是在葡萄牙就是在意大利,不是飞机晚点就是食物很贵。
  8. EFD航空公司飞往伦敦或法兰克福,不是座位狭窄就是飞机晚点。
  9. 有一家航空公司的总部在丹麦。
将它们提取成蕴含式。注意这里的符号全是异或,当然改写成互斥加同或也行……
  • (1)
  • (2)
  • (3)
  • (4)
  • (5)
  • (6)
  • (7)
  • (8)
那么,由 (8a) 和 (6),如果

和 (8b) 矛盾,故可得

(8a'):



由 (8a') 和 (7a) 可以得出
(7a'),(7a') 和 (2) 得
(2'),(8a') 和 (1b) 则有
(1b'),剩下一个是
(9)。
删掉无用的异或分支整理之后得到:
  • (1a; 1b')
  • (2')
  • (3)
  • (4)
  • (5)
  • (6')
  • (7a'; 7b; 7c)
  • (8a'; 8b)
  • (9)
接下来考虑 (3) 和 (4b),两者综合得到
(4b'):



(1)、(4a) 和 (4b') 强迫
(1a'),(4b') 与 (7b)、(7c) 强迫
(7b')。于是条件简化为:
  • (1a'-1b')
  • (2')
  • (3)
  • (4a; 4b')
  • (5)
  • (6')
  • (7a'-7b'; 7c)
  • (8a'; 8b)
  • (9)
接下来,如果 (4a) 中
那么
,和 (7c) 矛盾,故
(8b'),于是我们成功构建出了一条链条:
  • (10)
然后,根据 (1a'-1b')、(7a'-7b') 和 (10),剩下的 C-H 映射由两种可能:
  1. (11a)
  2. (11b)
如果 (11a) 成立,则根据 (3),
,它将强迫
,这和 (10) 矛盾,于是这两种可能性中只有 (11b) 为真,我们得到
  • (12)
将它与 (6') 联立,即可排除第一个异或支,得到
  • (6'')
于是我们解出了第二根链条,鼓掌~
将结果整理一下:
  • (1a'-1b')
  • (5')
  • (6'')
  • (7a'-7b'; 7c)
  • (10)
  • (11b')
接下来联立 (5') 和 (11b') 得到
,它强迫 (7c) 变为
,与 (7a'-7b') 联立的
。它们和 (10) 共同让 (1a'-1b') 变为
,推理完成。
最终的结果是:
  • Simplejet 总部在荷兰,飞往巴黎,每两天才飞一次
  • Herta 总部在丹麦,飞往布拉格,总是晚点
  • Babyall 总部在比利时,飞往伦敦,儿童不能乘坐
  • Connor 总部在意大利,飞往巴塞罗那,食物很贵
  • EFD 总部在葡萄牙,飞往法兰克福,座位狭窄

夏夏moe

赞同来自:

通用方法是编程,用枚举法解决……(虽然写起来非常短,但我自己是只小笨猫求抱大腿……)
匿名用户

匿名用户

赞同来自:

,,,第一的答案看着就吓人啊,,,有个比较笨的方法就是画个表格,然后根据每个句子直接确定的填上,排除的或者带有疑问的写在表格外,再自己尝试那些可能的答案推理一两步就又确定或者排除掉一些信息,。另外这类题还有个条件就是所有的属性都是不同的,而且提到的都是有用的。基本上每个句子一遍看下来,表格就完成了一大半然后答案就是

刘雨

赞同来自:

把关键词全部列出来,连接线,分析,推理得出结论:simplejet/荷兰/巴黎/两天一班;
EFD/葡萄牙/法兰克福/座位窄;
herta/丹麦/布拉格/晚点;
connor/意大利/巴塞罗那/贵;
babyall/比利时/伦敦/禁儿童。

晒太阳的小僵尸

赞同来自:

1.根据伦敦推出e~法兰克福,s~巴黎,c~巴塞罗那,h~布拉格,b~伦敦
2.根据伦敦~b推出窄~e,根据比利时推出e~窄~葡萄牙~法兰克福
3.接着类推(关键点:座位窄,晚点,比利时),可以做个表,推出一个填一个,这样剩下什么一目了然。

要回复问题请先登录注册