设Σ={a，b}是字母表，Σ^*表示由Σ上的字符构成的有限长度的串的集合（包含长度为0的串，即空串在内），A={a，b，aa，bb，aaa，bbb}，B={ω∣ω∈Σ^*∧∣ω∣≥2}，C={ω∣ω∈Σ^*∧∣ω∣≤2}，则A-（B∩C）=（）。

给定布尔代数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下，公式的真值为（）。 点击查看答案