a)
Gegeben:
Motoren:
linker Motor für linke Kette (X).
rechter Motor für rechte Kette (Y).
1 -> an.
0 -> aus.
Sensoren:
linker Sensor (C).
rechter Sensor (D).
1 -> kein Objekt wird erkannt.
0 -> Objekt wird erkannt.
Schalter (B):
1 -> Fahrzeug soll Objekt ausweichen.
0 -> Fahrzeug soll Objekt folgen.
Modi:
Objekt folgen: (B = 0)
kein Objekt erkannt (C, D = 1) -> Fahrzeug bleibt stehen (X, Y = 0).
linker Sensor erkennt Objekt (C = 0, D = 1) -> nach links in Richtung des Objekts fahren (X = 1, Y = 0).
rechter Sensor erkennt Objekt (C = 1, D = 0) -> nach rechts in Richtung des Objekts fahren (X = 0, Y = 1).
beide Sensoren erkennen Objekt (C, D = 0) -> geradeaus in Richtung des Objekts fahren (X, Y = 1).
Objekt ausweichen: (B = 1)
kein Objekt erkannt (C, D = 1) -> Fahrzeug fährt (X, Y = 1).
linker Sensor erkennt Objekt (C = 0, D = 1) -> nach rechts in Gegenrichtung des Objekts fahren (X = 0, Y = 1).
rechter Sensor erkennt Objekt (C = 1, D = 0) -> nach links in Gegenrichtung des Objekts fahren (X = 1, Y = 0).
beide Sensoren erkennen Objekt (C, D = 0) -> Fahrzeug bleibt stehen (X, Y = 0).
Aus den Aussagen zu den beiden Modi lässt sich die Tabelle vervollständigen:
Schalter B | Sensor li. C | Sensor re. D | Motor li. X | Motor re. Y |
0 | 0 | 0 | 1 | 1 |
0 | 0 | 1 | 1 | 0 |
0 | 1 | 0 | 0 | 1 |
0 | 1 | 1 | 0 | 0 |
1 | 0 | 0 | 0 | 0 |
1 | 0 | 1 | 0 | 1 |
1 | 1 | 0 | 1 | 0 |
1 | 1 | 1 | 1 | 1 |
b)
X als DNF:
Die Minterme für die DNF bilden:
Schalter B | Sensor li. C | Sensor re. D | Motor li. X | Minterme |
0 | 0 | 0 | 1 | ¬B ∧ ¬C ∧ ¬D |
0 | 0 | 1 | 1 | ¬B ∧ ¬C ∧ D |
0 | 1 | 0 | 0 | |
0 | 1 | 1 | 0 | |
1 | 0 | 0 | 0 | |
1 | 0 | 1 | 0 | |
1 | 1 | 0 | 1 | B ∧ C ∧ ¬D |
1 | 1 | 1 | 1 | B ∧ C ∧ D |
Die Minterme mit ODER verknüpfen:
$$X_{DNF}(B,C,D) = (¬B ∧ ¬C ∧ ¬D)∨(¬B ∧ ¬C ∧ D)∨(B ∧ C ∧ ¬D)∨(B ∧ C ∧ D)$$
Y als DNF:
Die Minterme für die DNF bilden:
Schalter B | Sensor li. C | Sensor re. D | Motor li. Y | Minterme |
0 | 0 | 0 | 1 | ¬B ∧ ¬C ∧ ¬D |
0 | 0 | 1 | 0 | |
0 | 1 | 0 | 1 | ¬B ∧ C ∧ ¬D |
0 | 1 | 1 | 0 | |
1 | 0 | 0 | 0 | |
1 | 0 | 1 | 1 | B ∧ ¬C ∧ D |
1 | 1 | 0 | 0 | |
1 | 1 | 1 | 1 | B ∧ C ∧ D |
Die Minterme mit ODER verknüpfen:
$$Y_{DNF}(B,C,D) = (¬B ∧ ¬C ∧ ¬D)∨(¬B ∧ C ∧ ¬D)∨(B ∧ ¬C ∧ D)∨(B ∧ C ∧ D)$$