问答题 证明：如果～是关于+3的同余关系，那么～必定也是关于x3的同余关系．

填空题 公式p∧￢（q→r）∧r的主析取范式为（）。

问答题 给定布尔代数〈S，⊕，，′，0，1〉，且a，b，c∈S。试化简：（ab）′⊕（a⊕b）′。