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