问答题
化简(A∧B∧C)∨(¬A∧B∧C).
问答题 用真值表法判定公式P(Q∧R)→P∨Q∨R是永真式、永假式还是可满足式。
问答题 {(n1,n2)|n1,n2∈N,n2=小于n1的素数的个数}构成函数吗?
问答题 用有限集合和集合运算描述Σ={a,b}上的下述语言(例如偶数长度的串的集合是{aa、ab、ba、bb}):(a)奇数长度的串的集合。(b)恰好包含一个a的串的集合。(c)或者以一个a开始,或者以两个b结束,或者两者都具备的串的集合。(d)至少含有3个连接a的串的集合。(e)包含子串“bbaa”的串的集合。