问答题利用等值演算法求命题公式(P∧(Q→R))→Q的主合取范式。
问答题构造命题公式(P∨Q)→(Q∧R)的真值表。
填空题设S(x):x是人,G(x):x会思考,则命题“人都会思考”可符号化为______。
填空题一个具有10个顶点的简单连通无向图的边数至少为______,至多为______。
填空题命题公式﹁P∧Q∧﹁R的小项编码为______。