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

问答题 在图所示的无向图G中，实线边的导出子图为G的生成树T：求G对应T的基本割集与基本割集系统。

问答题 在图所示的无向图G中，实线边的导出子图为G的生成树T：求G对应T的基本回路与基本回路系统。