一道逻辑推理题

32154

小红，小黄，小绿，小蓝四个人分别穿着红黄绿蓝四种颜色的衣服和红黄绿蓝四种颜色的裤子。已知条件如下：
1 只有1个人的名字与自己衣服的颜色相同；
2 只有1个人的名字与自己裤子的颜色相同；
3 没有1个人的名字与自己的衣服和裤子的颜色完全相同；
4 穿红衣服的人（不是小蓝）的名字与小蓝穿的裤子颜色相同；
5 穿蓝衣服的人（不是小黄）的名字与小黄穿的裤子颜色相同。
请推理出四个人分别穿什么颜色的衣服和裤子。

22568

答案如下:
小红穿黄衣服红裤子,小黄穿绿衣服蓝裤子,小绿穿红衣服黄裤子,小蓝穿蓝衣服绿裤子.

回来码个过程..
4<==>小蓝穿X裤子,小X穿红衣服,X<>蓝.
5<==>小黄穿Y裤子,小Y穿蓝衣服,Y<>黄.
4,5==>小蓝不穿蓝裤子,小黄不穿黄裤子==>小绿穿绿裤子 或 小红穿红裤子
I.小绿穿绿裤子
X<>绿,Y<>绿==>小绿不穿红衣服和蓝衣服==>小绿穿黄衣服
小绿不穿绿衣服,小黄不穿黄衣服,1==>{X=红,Y=蓝}一真一假
X∈{红,黄},Y∈{红,蓝}==>{X=红,Y=红}同真假==>X=黄,Y=蓝==>小红穿红裤子,矛盾
II.小红穿红裤子
X<>红,Y<>红==>X∈{黄,绿},Y∈{蓝,绿}
小绿不穿绿裤子==>{X=绿,Y=绿}一真一假==>(X=黄,Y=绿)或(X=绿,Y=蓝)
i.X=黄,Y=绿==>小黄穿红衣服,小绿穿蓝衣服,与1矛盾
ii.X=绿,Y=蓝==>小红穿红裤子,小黄穿蓝裤子,小绿穿红衣服,小蓝穿蓝衣服绿裤子==>小红穿黄衣服红裤子,小黄穿绿衣服蓝裤子,小绿穿红衣服黄裤子,小蓝穿蓝衣服绿裤子