计算题 构造公式A=（p∨q）∧（￢q∨r）∧（￢p∨q）∧￢r的否证，从而证明它是矛盾式。

给出公式每一对简单析取式的消解结果：C1=p∨￢q∨r，C2=￢p∨r∨s。 点击查看答案

给出公式每一对简单析取式的消解结果：C1=￢p∨q∨￢r，C2=p∨￢r∨s。 点击查看答案