用三种方法（真值表法，等值演算法，主析取范式法)证明下面推理是正确的:若a是奇数，则a不能被2整除，若a是偶数，则a能被2整除，因此如果a是偶數，则a不是奇数.

用等值演算法求下列公式的主析取范式，并求成真赋值。

在自然推理系统中，构造下列推理的证明。

(1)偶数都能被2整除。6是偶数。所以6能被2整除。

(2)凡大学生都是勤奋的。王晓山不勤奋。所以，王晓山不是大学生。

用等值演算法证明下面等值式．

用等值演算法求公式的主析取范式或主合取范式。

(1)求公式p→((q∧r)∧(p∨(ㄱq∧ㄱr)))的主析取范式。

(2)求公式ㄱ(ㄱ(p→q))∨(ㄱq→ㄱp)的主合取范式。

(3)求公式((p∨q)∧(p→q))(q→p)的主析取范式，再由主析取范式求出主合取范式。

A.如果2是偶数,那么一个公式的析取范式唯一

B.如果2是偶数,那么一个公式的析取范式不唯一

C.如果2是奇数,那么一个公式的析取范式唯一

D.如果2是奇数,那么一个公式的析取范式不唯一