问答题
试化公(P→Q)→R为析取范式和合取范式,并判断公式的类型。
问答题 试化公式P∧(P→Q)为析取范式和合取范式,并判断公式的类型。
问答题 假言易位式p→qq→p
问答题 证明:如果k是正整数,那么3k+2和5k+3互素。