问答题
证明常用对数lg2是无理数．
问答题证明常用对数lg2是无理数．
试化公式（（P∨Q）→R）→P的主析取范式和主合取范式，并判断公式的类型。
问答题试化公式（（P∨Q）→R）→P的主析取范式和主合取范式，并判断公式的类型。
求出下列整数的素幂分解式：222，100000，196608，7290000，20!
问答题求出下列整数的素幂分解式：222，100000，196608，7290000，20!
