Man zeige
Diese beiden Identitäten werden die verallgemeinerten De Morganschen Regeln genannt
mengentheoretisch:
Interpretation als Ereignisse:
siehe Lösungsweg