逻辑问题征集
我自己设计了一门表达逻辑问题的语言，并且编写了基于这门语言的逻辑问题求解程序，有兴趣的朋友可以到下面的地址下载。
http://download.csdn.net/source/267630
对于这个程序，已经下载了的朋友也许仅仅运行一下sample目录下的几个例子就完了。为了进一步展示这个程序的能力和增加与众网友的交流，我在这里开这个帖子，征集逻辑问题。希望有兴趣的朋友踊跃的在此发表自己遇到的逻辑问题，如果能够用我得程序解答，我会把解答的描述贴出来。
[解决办法]
下来看看
[解决办法]
是要这个程序能算的题目呢，还是要这个程序不能算的题目呢？
[解决办法]
小明和小强都是张老师的学生，张老师的生日是M月N日，2人都不知道张老师的生日是下列10组中的一天，张老师把M值告诉了小明，把N值告诉了小强，张老师问他们知道他的生日是那一天吗？
3月4日
3月5日
3月8日
6月4日
6月7日
9月1日
9月5日
12月1日
12月2日
12月8日
小明说：如果我不知道的话，小强肯定也不知道
小强说：本来我也不知道，但是现在我知道了
小明说：哦，那我也知道了
请根据以上对话推断出张老师的生日是哪一天？
[解决办法]
求解原理是什么？穷举吗？
似乎只能解决True,False这类布尔逻辑推理问题？
[解决办法]
有五个具有不同颜色的房子，里面分别住着五个不同国籍的人，每个人都喝一种特定品牌的饮料，抽不同牌子的烟，养不同的宠物。没有任何俩个人喝同一种饮料，或抽同一个牌子的烟，或养同一种宠物。
爱因斯坦给了以下线索：
1、英国人住红色房子。
2、瑞典人养狗住宠物。
3、丹麦人喝茶。
4、绿房子紧挨着白房子，在白房子的左边。
5、绿房子的主人喝咖啡。
6、抽PALLMALL牌烟的人养鸟。
7、黄色房子的主人抽DUNHILL牌烟。
8、住在中间房子的人喝牛奶。
9、那威人住在第一个房子里，（在最左边）。
10抽BLENDS牌烟的人和养猫的人相邻。
11、养马的人和抽DUNHILL牌烟的人相邻。
12、抽BLUEMASTER牌烟的人喝啤酒。
13、德国人抽PRINCE牌的烟。
14、那威人和住蓝房子的人相邻。
15、抽BLENDS烟的人和喝矿泉水的人相邻。
谁在养鱼做宠物？
[解决办法]
大学数理逻辑没学好，学习一下
[解决办法]
我下了，但我这不是中文系统，所以....
看了例子感觉很好，是我没想到的！！！
能做成这样。。。在我看来你很强，，，有机会一定要好好向你请教一下。
[解决办法]
牛
[解决办法]
bool{} = {0,1};
杯子{} = {"A","B","C","D"};
bool 水(杯子),苹(杯子),力(杯子);
bool A,B,C,D;
A = (水("A")+水("B")+水("C")+水("D")=4);
B = (苹("B")=1);
C = (力("C")=0);
D = (水("A")+水("B")+水("C")+水("D")<=3);
A+B+C+D=1;
bool a1,a2,a3,a4,a5;
a1 = (水("A")+水("B")+水("C")+水("D")=4);
a2 = (水("A")+水("B")+水("C")+水("D")=0);
a3 = (苹("A")+苹("B")+苹("C")+苹("D")=0);
a4 = (力("C")=1);
a5 = (苹("B")=1);
a1+a2+a3+a4+a5=1;
输出{a1,a2,a3,a4,a5}
