问答题
已知方程的解是3n+4n+2，其中C1，C2，C3是常数，求C1。
问答题 求2004！末尾零的个数。
问答题 证明常用对数lg2是无理数．
问答题 试化公式（（P∨Q）→R）→P的主析取范式和主合取范式，并判断公式的类型。
的解是3n+4n+2，其中C1，C2，C3是常数，求C1。