Du kannst ja erst mal den oberen langen Querstrich auflösen und
dann hast du A und B je mit doppeltem kurzen Querstrich und dazwischen
jetzt ∪ statt ∩ . Das ist der Satz von de Morgan.
Dann kannst du die doppelten Querstriche einfach weglassen
Komplement des Komplements ist die Menge selbst,
das habt ihr bestimmt auch schon bewiesen, also ist die
kurze Definition
C = A ∪ B.