问答题
试化公式P∧（P→Q）为析取范式和合取范式，并判断公式的类型。
问答题 假言易位式p→qq→p
问答题 证明：如果k是正整数，那么3k+2和5k+3互素。
问答题 当n是什么值时，等式右边是1？当n是什么值时，等式右边是-1？
