填空题
设Σ={a，b}是字母表，Σ*表示由Σ上的字符构成的有限长度的串的集合（包含长度为0的串，即空串在内），A={a，b，aa，bb，aaa，bbb}，B={ω∣ω∈Σ*∧∣ω∣≥2}，C={ω∣ω∈Σ*∧∣ω∣≤2}，则A-（B∩C）=（）。
{a，b，aaa，bbb}
问答题 给定布尔代数V=〈S，⊕，，′，0，1〉，且a∈S，a≠0.对任意元x∈S，若x≤a，则x=a或x=0，称a是V的次小元。试证：a是次小元⇔a是原子。
填空题 设解释I为：个体域D={a，b}，F（x）与G（x）为2个1元谓词，且F（a）=0，F（b）=1，G（a）=1，G（b）=0，在I下，公式的真值为（）。
问答题 给定两布尔代数U=〈A，⊕，，′，0，1〉和V=〈B，∨，∧，ˉ，α，β〉。试证：若存在映射f：A→B，对任意元a，b∈A，有 或者 则f是U到V的布尔同态。
