离散数学，求 ┐（ p∨Q) 鐡（ p∧Q)的主析取范式，要详细步骤。