问答题 给定两布尔代数U=〈A，⊕，，′，0，1〉和V=〈B，∨，∧，ˉ，α，β〉。试证：若存在映射f：A→B，对任意元a，b∈A，有 或者 则f是U到V的布尔同态。

填空题 若含n（n≥1）个命题变项的公式A是重言式，则A的主合取范式为（）。

问答题 证明：任何平面图（无环）都是6-可着色的。