计算题

求解递推方程。

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

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

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

问答题

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

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

问答题设有递推方程Ln=L_n-1+L_n-2，n≥2，且L₀=2，L₁=1，求L_2n+2-（L₁+L₃+...+L_2n+1）。