在间接的真理推导中用到的规律是什么？（）

A、矛盾律

B、简约律

C、统一律

D、排中律

在营销应用系统中，配送出库时提示：“条形码**********对应设备，不能出库，详细原因为：设备不在库，检查设备是否已经出库或者被数据修改”，如下处理不正确的是（）

A.核实出库人员所在单位是否存在该条形码的设备

B.核实待出库设备的参数跟出库任务中参数

C.核实设备是否在库房中

D.核实用户档案