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

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

问答题用消解原来证明公式是矛盾式：（￢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。