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