Ich schreibe mal Aquer statt des Striches darüber:
(Aquer ∩ ( Aquer ∩ B )quer )quer
Wende DeMorgan an gibt erst mal
Aquerquer ∪ ( Aquer ∩ B )querquer
= A ∪ ( Aquer ∩ B ) distributiv anwenden
= ( A ∪ Aquer ) ∩ ( A ∪ B )
= G ∩ ( A ∪ B )
= A ∪ B
Mach doch mal einen Anfang zu dem zweiten