企源知识库

一件谋杀案，经过周密调查后得到了以下确切的判断：(1)凶手是甲或者乙；(2)若凶手是甲，则谋杀不会发生在午夜前；(3)若乙的供词是正确的，则谋杀发生在午夜前；(4)若乙的供词不正确，则在午夜前受害者房里的灯光未灭；(5)在午夜前受害者房里的灯光灭了。请问：根据以上判断可推出谁是凶手？请写出推导过程。
【正确答案】：设p表示“凶手是甲”，q表示“凶手是乙”，r表示“谋杀发生在午夜前”，s表示“乙的供词正确”，t表示“在 午夜前受害者房里灯光灭了”。