一、用真值表法判定下列式子是否重言式.（p∧（q∨r））→(（p∧q）∨（p∧r）)\x05二、*局审理一起盗窃案,已知:（1）甲或乙是盗窃犯.（2）若甲是盗窃犯,则作案时间不可能发生在午夜前.（3）若乙的证词正确,则在午夜时屋里灯光未灭.（4）若乙的证词不正确,则作案时间发生在午夜前.（5）午夜时屋里灯光灭了.问：谁是盗窃犯?写出逻辑推导过程.三、某公司准备选拔一个销售经理,甲、乙、丙三位董事经过充分考虑后提出意见如下：甲：要么聘用李先生,要么聘用王先生.乙：如果不聘用李先生,那么也不要聘用王先生.丙：如果不聘用王先生,那么就聘用李先生.如何选择一个方案,同时满足三位董事的意见?写出逻辑推导过程.

一、用真值表法判定下列式子是否重言式.
（p∧（q∨r））→(（p∧q）∨（p∧r）)
\x05
二、*局审理一起盗窃案,已知:
（1）甲或乙是盗窃犯.
（2）若甲是盗窃犯,则作案时间不可能发生在午夜前.
（3）若乙的证词正确,则在午夜时屋里灯光未灭.
（4）若乙的证词不正确,则作案时间发生在午夜前.
（5）午夜时屋里灯光灭了.
问：谁是盗窃犯?写出逻辑推导过程.
三、某公司准备选拔一个销售经理,甲、乙、丙三位董事经过充分考虑后提出意见如下：
甲：要么聘用李先生,要么聘用王先生.
乙：如果不聘用李先生,那么也不要聘用王先生.
丙：如果不聘用王先生,那么就聘用李先生.
如何选择一个方案,同时满足三位董事的意见?写出逻辑推导过程.