问答题
用等值演算法求公式的主析取范式或主合取范式：￢（￢（p→q））∨（￢q→￢p）的主合取范式。
问答题用等值演算法求公式的主析取范式或主合取范式：￢（￢（p→q））∨（￢q→￢p）的主合取范式。
用等值演算法求公式的主析取范式或主合取范式：p→（（q∧r）∧（p∨（￢q∧￢r）））的主析取范式。
问答题用等值演算法求公式的主析取范式或主合取范式：p→（（q∧r）∧（p∨（￢q∧￢r）））的主析取范式。
用消解法判断公式是否可满足的：（p∨q）∧（p∨￢q）（￢p∨r）。
问答题用消解法判断公式是否可满足的：（p∨q）∧（p∨￢q）（￢p∨r）。
