罪犯推理 某案件有四名嫌疑犯，调查后确认： 结论1：A不是罪犯。 结论2：如果C是罪犯，那么B就一定是罪犯。 结论3：如果C不是罪犯，那么D就是罪犯。 结论4：或者A是罪犯，或者B不是罪犯。 若以上结论全部正确，且只有一人是罪犯，则请回答下列问题： （1）将上面的四个结论命题符号化。 （2）画出真值表。 （3）根据真值表判断谁是罪犯。 【提示】 设A：A是罪犯，B：B是罪犯，C：C是罪犯，D：D是罪犯。 真值表如下：

(1) 命题符号化：
¬A
C → B
¬C → D
A ∨ ¬B

(2) 真值表：

| A | B | C | D | ¬A | C → B | ¬C → D | A ∨ ¬B | 是否罪犯 |
|:-:|:-:|:-:|:-:|:--:|:-----:|:-------:|:------:|:--------:|
| T | T | T | T | F | T | F | T | 无法确定 |
| T | T | T | F | F | T | F | T | C |
| T | T | F | T | F | T | T | T | A |
| T | T | F | F | F | T | T | T | A |
| T | F | T | T | F | F | F | T | D |
| T | F | T | F | F | F | F | T | D |
| T | F | F | T | F | T | T | T | A |
| T | F | F | F | F | T | T | T | A |
| F | T | T | T | T | T | F | F | B |
| F | T | T | F | T | T | F | F | B |
| F | T | F | T | T | T | T | F | B |
| F | T | F | F | T | T | T | F | B |
| F | F | T | T | T | F | F | T | C |
| F | F | T | F | T | F | F | T | C |
| F | F | F | T | T | T | T | T | D |
| F | F | F | F | T | T | T | T | D |

(3) 根据真值表可知，罪犯是C。