问答题
设有递推方程Ln=Ln-1+Ln-2,n≥2,且L0=2,L1=1,求L2n+2-(L1+L3+...+L2n+1)。
问答题 试化公式(P∧(Q∨R))→S为析取范式和合取范式,并判断公式的类型。
问答题 双条件否定等价式:pqpq
问答题 试化公式为析取范式和合取范式,并判断公式的类型。