┐(┐R→P)∧P∧Q如何求主合取范式与主析取范式,