问答题 试化公式P∨（P→（Q∨（Q→R）））的主析取范式和主合取范式，并判断公式的类型。

问答题 试化公式（¬P∨¬Q）→的主析取范式和主合取范式，并判断公式的类型。

问答题 设有递推方程Ln=Ln-1+Ln-2，n≥2，且L0=2，L1=1，求L2n+2-（L1+L3+...+L2n+1）。