IIm18-Vorlesung1
Aus ProgrammingWiki
Archivierte Version vom 2019-03-14T20:47:11+00:00. Aktuelle Version
Ausgewählte mathematische Grundlagen
Aufgabe 3 - Wahrheitstafel
Für die folgende Implikation ist die zugehörige Wahrheitstafel aufzustellen.
Implikation: \lnot B \land (A \rightarrow B) \Rightarrow \lnot A
| | A | B | \lnot A | \lnot B | A \rightarrow B | \lnot B \land (A \rightarrow B) | \lnot B \land (A \rightarrow B) \Rightarrow \lnot A |
| | w | w | f | f | w | f | w |
| | w | f | f | w | f | f | w |
| | f | w | w | f | w | f | w |
| | f | f | w | w | w | w | w |