计算题 用消解法判断公式是否可满足的：p∧（￢p∨￢q）∧q。

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

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