问答题
用等值演算法求公式的主析取范式或主合取范式：p→（（q∧r）∧（p∨（￢q∧￢r）））的主析取范式。
问答题用等值演算法求公式的主析取范式或主合取范式：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。
