離散數學：集合論的代數化樣例

離散數學是計算機專業重要的基礎學科，它是數據庫、數字邏輯電路、邏輯學、數據結構、人工智能等學科的前驅課程。 要證明集合A和B不存在以下的關係 A∪(B⊕ C)=(A∪B) ⊕ (A∪C) A、B、C存在一下的關係如圖所示： 首先：A=a1∪a2∪a3∪a4，B=a2∪a3∪a5∪a6，C=a3∪a4∪a6∪a7 B⊕ C=(B-C)∪(C-B)=a2∪a4∪a5∪a7 A∪(B⊕ C)=a1∪a2

>>阅读原文<<