根据模态判断间的对当关系，若“某甲必然是本案罪犯”为假，则“某甲必然不是本案罪犯”为（）；“某甲可能不是本案罪犯”为（）；“某甲可能是本案罪犯”为（）。

A. 主要内容包括入库、在库管理、出库管理、特殊烟管理、调度管理综合查询
B. 入库分为决策管理系统导入和单据导入
C. 出库管理操作有记账、出库、分配、确认四个操作
D. 特殊烟管理包括罚没烟入库、罚没烟出库、残次烟移库