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

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

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