9.用3种方法(真值表法、等值演算法、主析取范式法)证明下面推理是正确的.-|||-若a是奇数,则a不能被2整除.若a是偶数,则a能被2整除.因此,如果a是偶数,则a不是奇数.

步骤 1：定义命题
设 p: a 是奇数, q: a 能被2整除, r: a 是偶数。则推理的形式结构为 (p→¬q) ∧ (r→q) → (r→¬p)。
步骤 2：真值表法
构造真值表，验证 (p→¬q) ∧ (r→q) → (r→¬p) 是否为重言式。
步骤 3：等值演算法
利用等值演算，将 (p→¬q) ∧ (r→q) → (r→¬p) 化简为重言式。
步骤 4：主析取范式法
将 (p→¬q) ∧ (r→q) → (r→¬p) 化简为主析取范式，验证是否包含所有极小项。