Wahrheitstabelle

aus www.iwiki.de, der freien Wissensdatenbank

Eine Wahrheitstabelle ist eine Tabelle in der Aussagenlogik, welche die Eingangswerte bzw. Eingangssignale, sowie Ausgangswerte bzw. Ausgangssignale eines logischen Ausdrucks enthält. Sie wird genutzt um Wahrheitswertefunktionen bzw. boolesche Funktionen zu definieren oder darzustellen und um einfache aussagenlogische Beweise zu führen.


Beispiel:

A B A \and B
wahr wahr wahr
falsch wahr falsch
wahr falsch falsch
falsch falsch falsch