计算题 设有递推方程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

试化公式为析取范式和合取范式，并判断公式的类型。

问答题

试化公式为析取范式和合取范式，并判断公式的类型。