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

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

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