问答题
证明常用对数lg2是无理数.
问答题 试化公式((P∨Q)→R)→P的主析取范式和主合取范式,并判断公式的类型。
问答题 求出下列整数的素幂分解式:222,100000,196608,7290000,20!
问答题 求解递推方程。