问答题
判断下列公式哪些是合式公式，哪些不是合式公式 ⑴（P∧q→r） ⑵(P∧(q→r) ⑶ ⑷（P∧q→rs） ⑸（(P→q→r)）→((q→p)←→q∨r))
⑴⑶⑸是合式公式，⑵⑷不是合式公式
填空题 考虑下述集合：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}，那么其中相等的集合是（）。
问答题 给定布尔代数〈S，⊕，，′，0，1〉，且a，b，c∈S。试化简：（a′b′c）⊕（ab′c）⊕（ab′c′）。
问答题 证明：如果～是关于+3的同余关系，那么～必定也是关于x3的同余关系．
