一、用真值表法判定下列式子是否重言式.
（p∧（q∨r））→(（p∧q）∨（p∧r）)
\x05
二、公安局審理一起盜竊案,已知:
（1）甲或乙是盜竊犯.
（2）若甲是盜竊犯,則作案時間不可能發(fā)生在午夜前.
（3）若乙的證詞正確,則在午夜時屋里燈光未滅.
（4）若乙的證詞不正確,則作案時間發(fā)生在午夜前.
（5）午夜時屋里燈光滅了.
問：誰是盜竊犯?寫出邏輯推導(dǎo)過程.
三、某公司準(zhǔn)備選拔一個銷售經(jīng)理,甲、乙、丙三位董事經(jīng)過充分考慮后提出意見如下：
甲：要么聘用李先生,要么聘用王先生.
乙：如果不聘用李先生,那么也不要聘用王先生.
丙：如果不聘用王先生,那么就聘用李先生.
如何選擇一個方案,同時滿足三位董事的意見?寫出邏輯推導(dǎo)過程.