说明：  生成条件矩阵然后使用消去法进行推理判断是一种常用的方 法。对于解决较为复杂的逻辑问题是十分有效的。
(matrix formation conditions then use the elimination method for reasoning judgment is a commonly used method. In addressing the more complex logic is very effective.)