白马王子

来源 :发明与创新(学生版) | 被引量 : 0次 | 上传用户:rqcai
下载到本地 , 更方便阅读
声明 : 本文档内容版权归属内容提供方 , 如果您对本文有版权争议 , 可与客服联系进行内容授权或下架
论文部分内容阅读
  玛丽心目中的白马王子是高个子、黑皮肤、相貌英俊。她认识亚历克、比尔、卡尔、戴夫四位男士,其中只有一位符合她要求的全部条件。
  (1)四位男士中,只有三人是高个子,只有两人是黑皮肤,只有一人相貌英俊。
  (2)每位男士都至少符合一个条件。
  (3)亚历克和比尔肤色相同,
  (4)比尔和卡尔身高相同。
  (5)卡尔和戴夫并非都是高个子。
  谁符合玛丽要求的全部条件?
  答案:
  根据(1),有三位男士是高个子,另一位不是高个子。接着,根据(4),比尔和卡尔都是高个子。再根据(5),戴夫不是高个子。
  根据(2),戴夫至少符合一个条件;既然他不是高个子,那他一定是黑皮肤。(只有玛丽心目中那位惟一的白马王子才是相貌英俊,但他又必须是高个子)。
  根据(1),只有两位男士是黑皮肤。于是根据(3),亚力克和比尔要么都是黑皮肤,要么都不是黑皮肤。由于戴夫是黑皮肤,所以亚力克和比尔都不是黑皮肤,否则就有三位男士是黑皮肤了。根据(1)以及戴夫是黑皮肤的事实,卡尔一定是黑皮肤。
  由于戴夫不是高个子,亚力克和比尔都不是黑皮肤,而卡尔既是高个子又是黑皮肤,所以卡尔是惟一能符合玛丽的全部条件的人。总而言之亚力克是高个子,比尔是高个子,卡尔是高个子,黑皮肤相貌英俊,戴夫是黑皮肤。
其他文献
本文介绍了8位微控制器在嵌入式Internet设备设计和软件实现中所涉及到的一些技术、解决方案和发展趋势.
本文结合工程实践提出了解决远程测试问题可行的方案,给出了远程测试系统存在的问题及解决方法.
本文就目前国内在ARM CPU上广泛采用的三种嵌入式操作系统μC/OS-Ⅱ、μCLinux和嵌入式Linux作分析,提供选择一个合适的嵌入式操作系统的依据.