5. Die Wahrheitstabelle
Eine Wahrheitstabelle (WHT) zeigt die Werte der Eingangs- und Ausgangsvariablen in einer Tabelle an. Man sieht, für welche Kombination von Eingangswerten welcher Ausgangswert resultiert.
Beispiele:
WHT der NICHT-Opertion
IN | ¦ | OUT |
A | ¦ | C |
---|---|---|
0 | ¦ | 1 |
1 | ¦ | 0 |
¬A | → | C |
WHT der UND-Operation
IN | ¦ | OUT | |
A | B | ¦ | C |
---|---|---|---|
0 | 0 | ¦ | 0 |
0 | 1 | ¦ | 0 |
1 | 0 | ¦ | 0 |
1 | 1 | ¦ | 1 |
A ∧ B | → | C |
WHT der ODER-Operation
IN | ¦ | OUT | |
A | B | ¦ | C |
---|---|---|---|
0 | 0 | ¦ | 0 |
0 | 1 | ¦ | 1 |
1 | 0 | ¦ | 1 |
1 | 1 | ¦ | 1 |
A ∨ B | → | C |
Es lassen sich somit logische Aussagen für alle Kombinationen der Eingangswerte übersichtlich darstellen.
Beispiel:
C = A ∧ ¬B
IN | ¦ | OUT | |
A | B | ¦ | C |
---|---|---|---|
0 | 0 | ¦ | 0 |
0 | 1 | ¦ | 0 |
1 | 0 | ¦ | 1 |
1 | 1 | ¦ | 0 |
Da hier die Variable B negiert (¬B) in die Berechnung von C eingeht, ergibt die Aussage 1 ∧ ¬0 eine 1 während 1 ∧ ¬1 eine 0 ergibt.
Für A = 0 ist C immer 0. Dies auf Grund der UND-Operation, die ja nur für 1 ∧ 1 einen Ausgangswert von 1 ergibt.
Es können beliebig komplexe Aussagen in einer WHT abgebildet werden. Die Anzahl der Zeilen entspricht 2n, wobei n für die Anzahl der Eingangsvariablen steht.
Beispiele:
Für eine gegeben Aussage kann die WHT erstellt werden.
X = (¬A∧¬B∧¬C) ∨ (¬A∧B∧¬C) ∨ (A∧¬B∧¬C) ∨
(A∧B∧¬C)
IN | ¦ | OUT | ¦ | Aussage | ||
A | B | C | ¦ | X | ¦ | |
---|---|---|---|---|---|---|
0 | 0 | 0 | ¦ | 1 | ¦ | ¬A∧¬B∧¬C |
0 | 0 | 1 | ¦ | 0 | ¦ | |
0 | 1 | 0 | ¦ | 1 | ¦ | ¬A∧B∧¬C |
0 | 1 | 1 | ¦ | 0 | ¦ | |
1 | 0 | 0 | ¦ | 1 | ¦ | A∧¬B∧¬C |
1 | 0 | 1 | ¦ | 0 | ¦ | |
1 | 1 | 0 | ¦ | 1 | ¦ | A∧B∧¬C |
1 | 1 | 1 | ¦ | 0 | ¦ |
Für eine gegebene WHT kann die entsprechende Aussage formuliert werden.
IN | ¦ | OUT | ¦ | Aussage | ||
A | B | C | ¦ | X | ¦ | |
---|---|---|---|---|---|---|
0 | 0 | 0 | ¦ | 0 | ¦ | |
0 | 0 | 1 | ¦ | 0 | ¦ | |
0 | 1 | 0 | ¦ | 1 | ¦ | ¬A∧B∧¬C |
0 | 1 | 1 | ¦ | 1 | ¦ | ¬A∧B∧C |
1 | 0 | 0 | ¦ | 0 | ¦ | |
1 | 0 | 1 | ¦ | 0 | ¦ | |
1 | 1 | 0 | ¦ | 0 | ¦ | |
1 | 1 | 1 | ¦ | 1 | ¦ | A∧B∧C |
X = (¬A∧B∧¬C) ∨ (¬A∧B∧C) ∨ (A∧B∧C)
Lösen Sie nun die Übung 5
Überprüfen Sie Ihre Antworten. Lösung 5
Sollten Sie Fehler haben, schauen Sie sich die Theorie noch einmal genau an, besprechen Sie offene Fragen mit Ihren Kolleginnen und/oder Kollegen. Fragen Sie auch Ihre Lehrperson, wenn Sie weiterführende Hilfe brauchen.