Definition (Vollständiges Ereignissystem). Sind A1, A2, ..., An paarweise disjunkte Ereignisse mit A1 ∪ A2 ∪ ... ∪ An = Ω, dann nennt man {A1, A2, ..., An} ein vollständiges Ereignissystem.
Prüfe ob {B and C, B and not C, not B and C, not B and not C} ein vollständiges Ereignissystem ist. Falls ja, dann darfst du den Satz über die Totale Wahrscheinlicheit anwenden.