问答题
用消解法判断公式是否可满足的：p∧（￢p∨￢q）∧q。
问答题用消解法判断公式是否可满足的：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。
