问答题设B={{b},{a,b},{b,c}},求B的极大元、极小元、上界和下界。
问答题画出R的哈斯图;
问答题利用等值演算法求命题公式(P∧(Q→R))→Q的主合取范式。
问答题构造命题公式(P∨Q)→(Q∧R)的真值表。
填空题设S(x):x是人,G(x):x会思考,则命题“人都会思考”可符号化为______。