Formale Sprachen: Beweis über Gleichheit

Question

Aufgabe:

Für beliebige formale Sprachen L, Li, Lk ⊆ A∗ definieren wir das sogenannte Komplement
Lc von L, sowie die binäre Operation ∩c : P(A∗) ×P(A∗) →P(A∗) als:
L^c := A* \ L                      L_i ∩^c L_k := (L_i ∩ L_k)^c

Beweisen Sie:
• L₁ ∩ L₂ = (L^c₁ ∪ L^c₂ )^c
• L₁ ∪ L₂ = (L^c₁ ∪ L^c₂ )^c

Problem/Ansatz:

Man soll da mit dem Distributivgesetz argumentieren. Ich finde da aber keinen Beweisansatz... Vorab danke für die Hilfe!

Comments

Aloha Nils ;)

Die Frage würde ich in der Stacklounge stellen, da kennen sich einige sehr gut mit theoretischer Informatik aus.