求公式(P→Q)∧ (P→R)的主析取范式,主合取范式.急用,