求命题公式((pVq)→r)→p的主析取范式。