Ü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))