计算题

试化公式（¬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）。

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

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

双条件否定等价式：pqpq

问答题双条件否定等价式：p↔q<=>¬p↔¬q