求﹁(Q→P)∧P∧R的主析取范式，并判断其类型。
 
【正确答案】
   故公式的主析取式为0，它为矛盾式。
【答案解析】