请通过等值演算法求┐（P∧Q）→（P∨Q）的主析取范式。