以”不可能p为前提，根据模态逻辑方阵，可必然推出的结论是（）

• A、必然非p
• B、必然p
• C、不可能非p
• D、可能p
• E、并非必然p

二难推理的简单破坏式的推理形式是（）。

假期中，学校某学生宿舍楼剩下甲、乙、丙、丁四人留校。按规定，晚上最迟回来的同学锁上宿舍楼的大门。某晚宿舍楼的大门未锁上。第二天，宿舍管理员过来查问哪一个同学最迟回来。

甲说：“我回来的时候，丙正在洗衣服。”

乙说：“我回来的时候，丁已经睡了，我也就睡下了。”

丙说：“我进门的时候，乙正好上床睡觉。”

丁说：“我上床就睡着了，什么都不知道。”

如果这四位同学说得都是事实，那么（）

• A、甲最迟回来
  
  

• B、乙最迟回来
  
  

• C、丙最迟回来
  
  

• D、丁最迟回来