问答题 用真值表法和主析取范式法证明下面推理不正确： 如果a和b之积是负数，则a和b中恰有一个是负数。a和b之积不是负数，所以a和b都不是负数。

问答题 求图所示的无向带权图G求一颗最小生成树T，并计算出T的权W（T）。

问答题 用3种方法（真值表法，等值演算法，主析取范式法）证明下面推理是正确的： 若a是奇数，则a不能被2整除。若a是偶数，则a能被2整除。因此，如果a是偶数，则a不是奇数。