推理证明-----谁盗窃了计算机?

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

解决方案：
前提：
假设：P:甲偷了计算机
Q:乙偷了计算机
R:作案发生在午夜前
S:乙证词正确
t：午夜时灯亮着┐ ∧∨→ ?
推理依据：
(1) P∨Q
(2) P→┐R
(3) S→ t
(4) ┐S→R
(5) ┐t
(6) ┐t T由（5）得
(7) ┐S T由（3）（6）得
(8) R T由（4）（7）得
(9) ┐P T由（2）（8）得
(10) Q T由（1）（9）得
结论：Q为真，即乙偷了计算机。