问答题 用消解原来证明公式是矛盾式：（￢p∨q）∧（￢p∨r）∧（￢q∨￢r）∧（p∨￢r）∧r。

问答题 给出公式每一对C1，C2的消解结果：C1=￢p∨q∨r，C2=p∨￢r∨￢s。

问答题 给出公式每一对C1，C2的消解结果：C1=p∨￢q∨r￢∨s，C2=s。