Wahrheitstabelle
Eine Wahrheitstabelle ist eine Tabelle, die in der Aussagenlogik jeder Kombination einer bestimmten Anzahl Wahrheitswerte (oft 2) einen bestimmten Resultatwert zuordnet. Sie wird genutzt um boolesche Funktionen darzustellen.
Die folgende Tabelle gibt für jeden Wahrheitswert der Aussagen a und b das Resultat der entsprechenden Verknüpfung an:
| a | b | Konjunktion | Disjunktion | Implikation | Äquivalenz |
|---|---|---|---|---|---|
| f | f | f | f | w | w |
| f | w | f | w | w | f |
| w | f | f | w | f | f |
| w | w | w | w | w | w |
Die oben dargestellten Verknüpfungen sind vier von insgesamt 16 möglichen.
Wichtig sind auch noch folgende:
| a | b | Sheffer- Operation (NAND) | Peirce- Operation (NOR) |
| f | f | w | w |
| f | w | w | f |
| w | f | w | f |
| w | w | f | f |
Siehe auch Charles Peirce