计算题

已知方程的解是3ⁿ+4ⁿ+2，其中C₁，C₂，C₃是常数，求C₁。

求2004！末尾零的个数。

问答题求2004！末尾零的个数。

证明常用对数lg2是无理数．

问答题证明常用对数lg₂是无理数．

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

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