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

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

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

某项工作需要派A、B、C和D4个人中的2个人去完成，按下面3个条件，有几种派法?如何派?

  (1)若A去，则C和D中要去1个人；

  (2)B和C不能都去；

  (3)若C去，则D留下．

判断下列语句是否为命题，若是命题，请指出是简单命题还是复合命题．

  (1)是无理数．

  (2)5能被2整除．

  (3)现在开会吗?

  (4)x+5＞0． 

  (5)2是素数当且仅当三角形有三条边．

  (6)2000年10月1日天气晴好．

  (7)除太阳系以外的星球上有生物．

  (8)小李在宿舍里．

  (9)全体起立!

  (10)4是2的倍数或是3的倍数．

  (11)4是偶数且是奇数．

  (12)李明与王华是同学．

  (13)蓝色和黄色可以调配成绿色．