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

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

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