问答题
给定布尔代数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的布尔同态。
填空题 若含n（n≥1）个命题变项的公式A是重言式，则A的主合取范式为（）。
，′，0，1〉，且a∈S，a≠0.对任意元x∈S，若x≤a，则x=a或x=0，称a是V的次小元。试证：a是次小元⇔a是原子。