离散数学命题公式的消解法一问定义2.8 C1∧C2约等于Res(C1,C2)证 记C=Res(C1,C2),设消解文字为