计算题 用等值演算法求公式的主析取范式或主合取范式：p→（（q∧r）∧（p∨（￢q∧￢r）））的主析取范式。

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

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

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

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

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

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