填空题
考虑下述集合：A={3，4}，B={4，3}∪∅，C={4，3}∪{∅}，D={x∣x2-7x+12=0}，E={∅，3，4}，F={4，4，3}，G={4，∅，∅，3}，那么其中相等的集合是（）。
A=B=D=F，C=E=G
问答题 给定布尔代数〈S，⊕，，′，0，1〉，且a，b，c∈S。试化简：（a′b′c）⊕（ab′c）⊕（ab′c′）。
问答题 证明：如果～是关于+3的同余关系，那么～必定也是关于x3的同余关系．
填空题 公式p∧￢（q→r）∧r的主析取范式为（）。
