分别用真值表法、分析法和公式法证明下列蕴涵式：

p∨(q∧￢r)的主析取范式和主合取范式

分别用真值表法和公式法求下面命题公式的主析取范式与主合取范式，判断各公式的类型，并写出其相应的成真赋值和成假赋值．

用推理规则论证下述问题：或者是天晴，或者是下雨．如果是天晴，我去看电影．如果我去看电影，我就不看书．所以，如果我在看书，则天在下雨．

甲、乙、丙三人估计比赛结果，甲说“A第一，B第二”；乙说“C第二，D第四”；丙说“A第二，D第四”；结果三人估计得都不全对，但都对了一个，求A、B、C、D的名次．