一道逻辑题

小明和小强都是张老师的学生，张老师的生日是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日　
小明说：如果我不知道的话，小强肯定也不知道．

小强说：本来我也不知道，但是现在我知道了．

小明说：哦，那我也知道了．　

请根据以上对话推断出老师的生日系几月几号，识的水友请写出简单的推理过程。

 

 

已知:
<M,N>={{(3),(4,5,8)},{(6),(4,7)},{(9),(1,5)},{(12),(1,2,8)}}
M的值是唯一的;
N的值也是唯一的.

由题意可知有以下蕴含：
(1)3→4∩5∩8
(2)6→4∩7
(3)9→1∩5
(4)12→1∩2∩8

化简:
(5)~3∪(4∩5∩8)=(~3∩4)∪(~3∩5)∪(~3∩8)
(6)~6∪(4∩7)=(~6∩4)∪(~6∩7)
(7)~9∪(1∩5)=(~9∩1)∪(~9∩)
(8)~12∪(1∩2∩8)=(~12∩1)∪(~12∩2)∪(~12∩8)

由(5)(6)(7)(8)可得以下蕴含:
(9)4∪(~3∩~6)    (12)1∪(~9∩~12)
(10)5∪(~3∩~9)   (13)~6∩7
(11)8∪(~3∩~12)  (14)~12∩2

由(13)(14)可知
   当M!=6时,N=7,这与题意矛盾;
   当M!=12时,N=2,这也与题意矛盾.
因此,M!={6,12},即有这样的蕴含:
(15)~6
(16)~12

则M只能是3或者9;

由(15)(16)来化简(9)(10)(11)(12),得
(17)4∪~3
(18)5∪(~3∩~9)
(19)8∪~3
(20)1∪~9

(17)(19)(20)都与题意有冲突,因为M=~3和M=~9至少有一个是真,并且有且只有一个,所以由(18)可知,N=5为真.但是在M=3和M=9对应的N都有5,有冲突,所以N=5不符合题意,排除它.
    然后,M=3对应的N余下的是4和8;
         M=9对应的N余下的是1.
由M和N的值是唯一的可知,老师的生日是9月1日.