离散数学题,利用推理证明解决 一*人员审查一件盗窃案，已知的事实如下：（1)甲或乙盗窃了录音机；（2）若甲盗窃了录音机，则作案时间不能发生在午夜之前；（3）若乙的证词正确，则午夜时屋里灯光未灭；（4)若乙的证词不正确，则作案时间发生在午夜之前；（5）午夜时屋里灯光灭了。问是谁盗窃了录音机。
问题描述：
离散数学题,利用推理证明解决
一*人员审查一件盗窃案，已知的事实如下：（1)甲或乙盗窃了录音机；
（2）若甲盗窃了录音机，则作案时间不能发生在午夜之前；
（3）若乙的证词正确，则午夜时屋里灯光未灭；
（4)若乙的证词不正确，则作案时间发生在午夜之前；
（5）午夜时屋里灯光灭了。
问是谁盗窃了录音机。
答
乙盗窃的
因为午夜时屋里的灯光灭了,所以乙的证词不正确,所以作案时间发生在午夜前,而甲如果盗窃了计算机则作案时间不在午夜前,所以不能是甲,只能是乙
我不知道,我以为这是过程