问答题构造命题公式(P∨Q)→(Q∧R)的真值表。
填空题设S(x):x是人,G(x):x会思考,则命题“人都会思考”可符号化为______。
填空题一个具有10个顶点的简单连通无向图的边数至少为______,至多为______。
填空题命题公式﹁P∧Q∧﹁R的小项编码为______。
填空题设A={2,4,6,12},a*b=gcd(a,b),即a、b的最大公约数。代数系统〈A,*〉的幺元是______,零元是______。