计算题

给定布尔代数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的布尔同态。 点击查看答案