离散数学 实验三 用化简命题逻辑公式的方