http://www.proofwiki..._is_Associative
Ik was aan het oefenen met dit bewijs, maar (bij proof1, regel 1) in plaats van deze definitie van het symmetrisch verschil
\( (S \cup T) \cap \overline{S} \cup \overline{T})\)
te gebruiken, heb ik het als volgt ingevuld met deze definitie \((S \cap \overline{T}) \cup (\overline{S} \cap T)\)
:\((((A \cap \overline{B}) \cup (B \cap \overline {A})) \cap C) \cup (C \cap \overline{((A\cap\overline{B})\cup(B\cap\overline{A}))}
\)
Toepassen van de distributieve wet en de De Morgan geeft dan:\)
\((A \cap \overline{B}\cap \overline{C}) \cup (B \cap \overline{A}\cap \overline{C}) \cup (C \cap ((\overline{A} \cup B) \cap (\overline{B} \cup A))\)
Hoe zou ik nu verder moeten?