1.设A,B,C是三个集合,证明：A∪B=A∪（B-A）
2.在命题逻辑中符号化下述命题,并构造推理的证明
若明天是星期一或星期三,我就有课.若有课,今天必须备课.我今天没备课.所以不是星期一和星期三.
3.在一阶逻辑中符号化下述命题,并推证之.
凡人必有一死,苏格拉底是人,所以苏格拉底会死的.
4.求以1,3,4,5,6权为的最优2元树.（写出步骤并计算它的权）
5.求Q∨（Q→R）的主析取范式及主合取范式