Übung: Logische Formeln ausdrücken!

S1 = S1 fällt aus
S2 = S2 fällt aus
S3 = S3 fällt aus

Aussage: Eine der S-Bahnen fällt aus.
Lösung: S1 v S2 v S3

Aussage: Wenn S3 nicht ausfällt, dann fällt S1 aus.
Lösung: !S3 => S1

Aussage: Wenn S2 nicht ausfällt, dann fällt auch S3 nicht aus.
Lösung: !S2 => !S3

Aussage: Wenn genau 2 S-Bahnen ausfallen, dann gehört S3 dazu.
Lösung: !(!S3 ^ S1 ^ S2) <-- Ausschluss des Falles, den es nicht geben kann

Aussage: Wenn S1 ausfällt, fällt auch genau eine der beiden anderen S-Bahnen aus.
Tipp:   Wenn S1 ausfällt, fällt mindestens eine weitere aus.
      + Wenn S1 ausfällt, fällt höchstens eine weitere aus.
Lösung: (S1 => S2 v S3) ^ (S1 => !(S2 ^ S3))