在0与1的世界中解答

在0与1的世界中解答
真开心，竟然在0与1的世界里算出了杂志上的智趣题。
                
                
夏季装修
          四对夫妻（分别是菲斯切尔一家、曼诺尔一家、帕克尔斯一家和韦尔斯一家）决定利用夏季专修房屋。每对夫妇原本打算改造室外，但最总他们对室内也做了装修。请你根据下面的信息，确定每对夫妻的全名，以及他们对室内和室外的两项装修是什么。（住：外国人夫妻同姓）
1、 乔治并没有重新改造厨房，他和吉米不是夫妻；
2、 泰德•曼诺尔和他的妻子把屋顶更换了；
3、 莱瑞和爱丽丝既没有增加卫生间，也没有增加庭院景观；
4、 贝尔特和玛丽•韦尔斯不是夫妻，他再卧室里放置了新家具，但是他并没有修建游泳池；
5、 塔拉的姓不是菲斯切尔，她修建了一个车库；
6、 帕克尔斯一家并没有改造厨房；
7、 把地下室改成游戏房的那对夫妻同时也增加了庭院景观。
 
首先，由题意可以判断出：
姓氏有：菲斯切尔、曼诺尔、帕克尔斯、韦尔斯
男名有：乔治、泰德、莱瑞、贝尔特
女名有：玛丽、吉米、爱丽丝、塔拉
室外的装修项目有：屋顶、庭院、游泳池、车库
室内的装修项目有：厨房、卫生间、卧室、地下室
从以上五组中选出在题中出现频率最高的一组，作为“横项”，再分别与其他四组搭配构成真值表。在本题中的横项为：男名组。有如下四个表。
表1-a
       乔治 泰德 莱瑞 贝尔特
菲斯切尔
曼诺尔
帕克尔斯
韦尔斯
表1-b
 乔治 泰德 莱瑞 贝尔特
玛丽
吉米
爱丽丝
塔拉
表1-c
 乔治 泰德 莱瑞 贝尔特
厨房
卫生间
卧室
地下室
表1-d
 乔治 泰德 莱瑞 贝尔特
屋顶
庭院
游泳池
车库
    
        根据题目中的7个条件，分别在四个表中的相应框内填入“0”或“1”。每行和每列只能有一个“1”。如，在第一个条件中，“乔治没改造厨房”，则在表2-c中的（1,1）框内填入“0”。表2中，黑色的数字表示的是其由题目中的信息直接填得，红色的数字表示其为推到所得。
表2-a
       乔治 泰德 莱瑞 贝尔特
菲斯切尔 0 0 1 0
曼诺尔 0 1 0 0
帕克尔斯 0 0 0 1
韦尔斯 1 0 0 0
表2-b
      乔治 泰德 莱瑞 贝尔特
玛丽 1 0 0 0
吉米 0 1 0 0
爱丽丝 0 0 1 0
塔拉 0 0 0 1
表2-c
       乔治 泰德 莱瑞 贝尔特
厨房 0 0 1 0
卫生间 0 1 0 0
卧室 0 0 0 1
地下室 1 0 0 0
表2-d
       乔治 泰德 莱瑞 贝尔特
屋顶 0 1 0 0
庭院 1 0 0 0
游泳池 0 0 1 0
车库 0 0 0 1
同时，由条件7知，庭院和地下室是由同一家人装修的，则表2-c中（4,1）=“1”，（4,2）=（4,3）=“0”，表2-d中（2,1）=“1”，（2,4）=“0”。则表2-c和表2-d的其他框均可由“每行每列只有一个‘1’”这个条件推出。
由条件5知，修建了车库的贝尔特与塔拉是夫妻，他们不姓菲斯切尔。则表2-b中（4,1）=（4,2）=（4,3）=（2,4）=（3,4）=“0”，（4,4）=“1”，和表2-a中（1,4）=“0”，（3,4）=“1”，（3,1）=（3,3）=“0”。
由条件3知，爱丽丝不动卫生间和庭院，则她不是泰德或乔治的妻子。所以表2-b中（3,1）=（3,2）=“0”，从而可以推出表2-b中的全部框。
有条件4知，玛丽全名叫玛丽•韦尔斯，则乔治姓韦尔斯，从而可以全部推出表2-a来。
至此，我们推算出了本题中的所有关系，即：
菲斯切尔一家：莱瑞和爱丽丝，重新改造厨房和修建游泳池；
曼诺尔一家：泰德和吉米，增加卫生间和更换屋顶；
帕克尔斯一家：贝尔特和塔拉，在我是添了家具和建了车库；
韦尔斯一家：乔治和玛丽，改造地下室和庭院。