求命题公式(pVr)→q的真值表,指出公式的成真赋值,并判断的类型.