问答题
试化公式P∨（¬P→（Q∨（¬Q→R）））的主析取范式和主合取范式，并判断公式的类型。
问答题 试化公式（¬P∨¬Q）→的主析取范式和主合取范式，并判断公式的类型。
问答题 设有递推方程Ln=Ln-1+Ln-2，n≥2，且L0=2，L1=1，求L2n+2-（L1+L3+...+L2n+1）。
问答题 试化公式（P∧（Q∨R））→S为析取范式和合取范式，并判断公式的类型。
