问答题
给定布尔代数〈S，⊕，，′，0，1〉，且a，b，c∈S。试化简：（ab）′⊕（a⊕b）′。
填空题 设A，B为任意的命题公式，吸收律的两种形式分别为（）和（）。
问答题 给定布尔代数〈S，⊕，，′，0，1〉，且a，b，c∈S。试证：a≤ca⊕（bc）=（a⊕b）c。
填空题 令F（x）：x为苹果，H（x，y）：x与y完全相同，L（x，y）：x=y。命题“没有完全相同的苹果。”的符号化形式为（）。
，′，0，1〉，且a，b，c∈S。试化简：（a