法律逻辑学 用真值表分析问题

法律逻辑学 用真值表分析问题
某单位分房,甲乙丙丁四人中有一人分不到房甲说：如果乙分不到,那么我也分不到.乙说：如果我和甲分到,那么丁也分到.丙说：我和丁至少一人分到.丁说：如果我和乙分到,那么丙也分到.问：为满足上述四人要求,应该如何分房?

题目已知有一人分不到房,即有：
1、假设甲分不到房（即乙丙丁分到房）,有甲真、乙真、丙真、丁真.
2、假设乙分不到房（即甲丙丁分到房）,有甲假、乙真、丙真,丁假；
3、假设丙分不到房（即甲乙丁分到放）,有甲真、乙真、丙真、丁假；
4、假设丁分不到房（即甲乙丙分到放）,有甲真、乙假、丙真、丁假；
所以答案是甲分不到房.
需要注意的是
甲说如果乙分不到那么自己也分不到,但不等于说乙分到了自己也就分到.所以甲分不到房,甲的要求也是真.
乙说甲乙分到房则丁也分到,并不等于需要甲乙同时分到“才”有丁分到,乙说的但不排除甲乙其中一人分不到时,丁依然分到的可能,故当甲分不到房时,乙也是真.