珠寶店失竊案的離散數(shù)學(xué)邏輯推理
某珠寶店失竊后,分析出以下事實：
1.營業(yè)員A或B盜竊了珠寶
2.若A作案,則作案時間不在營業(yè)時間；
3.若B提供的證詞正確,則貨柜沒有上鎖；
4.若B提供的證詞不正確,則作案時間在營業(yè)時間；
5.貨柜上了鎖；
試用推理規(guī)則,推理理論的格式推斷出案情真相.
如下題目格式：
(P∨Q)/\(P->B)/\(Q->S)=>S∨R
證:
1)P∨Q P
2)┒P->Q T(1) E
3)Q->S P
4)┒P->S T(2),(3)I
5)┒S->P T(4) E
6)┒P->R P
7)┒S->R T(5),(6)I
8)S∨R T(7) E
結(jié)果知道是“B作案”，需要的是用公式表達(dá)的推理過程，