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

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

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

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

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

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

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