离散数学题,利用推理证明解决

离散数学题,利用推理证明解决




 
一公安人员审查一件盗窃案，已知的事实如下：（1)甲或乙盗窃了录音机；
（2）若甲盗窃了录音机，则作案时间不能发生在午夜之前；
（3）若乙的证词正确，则午夜时屋里灯光未灭；
（4)若乙的证词不正确，则作案时间发生在午夜之前；
（5）午夜时屋里灯光灭了。
问是谁盗窃了录音机。