范式!用等值演算法算出 ¬q∨p 的主合取范式!