张三或者是盗窃犯或者是杀人犯，他不是盗窃犯，所以，他是杀人犯。该推理运用推理规则是（）

张三或者是盗窃犯或者是杀人犯，他不是盗窃犯，所以，他是杀人犯。该推理运用推理规则是（）
A.联言推理的分解式
B.联言推理的组合式
C.相容选言推理的否定肯定式
D.不相容选言推理的肯定否定式
正确答案：C