Von den Maschinen a, b, c, d eines Systems sind folgende Aussagen als wahr bekannt:
1) Wenn Maschine a nicht läuft, so läuft Maschine b.
2) Wenn Maschine c läuft, so läuft Maschine d.
3) Wenn Maschine b läuft, so läuft Maschine d nicht.
Man ermittle unter Verwendung von Schlußregeln, welche Maschinen gleichzeitig mit Maschine c laufen.
