(p蕴含q)合取(q蕴含r)的主析取范式