问答题
给定两布尔代数U=〈A，⊕，，′，0，1〉和V=〈B，∨，∧，ˉ，α，β〉。试证：若存在映射f：A→B，对任意元a，b∈A，有
或者 则f是U到V的布尔同态。
填空题 若含n（n≥1）个命题变项的公式A是重言式，则A的主合取范式为（）。
问答题 证明：任何平面图（无环）都是6-可着色的。
填空题 令F（x）：x是实数，G（x）：x是有理数，命题“实数不全是有理数。”的符号化形式为（）。
，′，0，1〉和V=〈B，∨，∧，ˉ，α，β〉。试证：若存在映射f：A→B，对任意元a，b∈A，有
