求命题公式A=(pv(q^r))->(p^q^r)的主合取范式和主析取范式