computer-sciencediscrete-mathlogicboolean-algebracalculator

Wahrheitstabellen-Rechner: NICHT, UND, ODER und Implikation Schritt für Schritt auswerten

September 9, 2026·11 min read·Solvify Team

Ein Wahrheitstabellen-Rechner nimmt eine logische Aussage, die aus aussagenlogischen Variablen wie p und q aufgebaut ist, listet jede mögliche Kombination von wahr (W) und falsch (F) für diese Variablen auf und wertet die Aussage Zeile für Zeile aus. Die Aussagenlogik reduziert jedes Argument auf Aussagen, die entweder wahr oder falsch sind, und logische Operatoren — NICHT, UND, ODER und Implikation (→) — verknüpfen diese einfachen Aussagen zu komplexeren Ausdrücken. Da jede Variable genau zwei mögliche Werte hat, besitzt eine Aussage mit n Variablen genau 2ⁿ Zeilen: Zwei Variablen ergeben 4 Zeilen, drei Variablen ergeben 8 Zeilen, und so weiter. Dieser Leitfaden arbeitet die grundlegenden Operatoren von Hand durch, baut ein Beispiel für einen Wahrheitstabellen-Rechner für die Implikation und für einen Ausdruck mit drei Variablen auf und nutzt die De-Morgan-Gesetze, um zu beweisen, dass zwei unterschiedlich geschriebene Aussagen in der booleschen Algebra äquivalente Aussagen sind.

Inhalt

01Was ist ein Wahrheitstabellen-Rechner?
02Wie funktionieren die grundlegenden logischen Operatoren NICHT, UND und ODER?
03Wie wertet ein Wahrheitstabellen-Rechner die Implikation (p → q) aus?
04Wie sieht die Wahrheitstabelle für (p ∧ q) → r aus?
05Wie nutzt man einen Wahrheitstabellen-Rechner, um äquivalente Aussagen zu beweisen?
06Welche Fehler sollten Sie beim Erstellen einer Wahrheitstabelle von Hand vermeiden?
07Wie können Sie Ihre boolesche Algebra-Arbeit überprüfen?
08Nutzen Sie Solvifys Wahrheitstabellen-Rechner, um Ihre Logik zu überprüfen

Was ist ein Wahrheitstabellen-Rechner?

Ein Wahrheitstabellen-Rechner ist ein Werkzeug, das jede mögliche wahr/falsch-Kombination für die Variablen einer logischen Aussage auflistet und den Wert der Aussage für jede Kombination berechnet. Manche nennen dieselbe Idee einen Wahrheitstabellen-Generator, da er die vollständige Zeilenmenge automatisch erzeugt, statt sie jedes Mal von Hand aufschreiben zu müssen. In der Aussagenlogik steht eine Variable wie p oder q für eine Aussage, die entweder wahr oder falsch ist — nie beides, nie keines — und logische Operatoren erlauben es, aus diesen einfachen Bausteinen zusammengesetzte Aussagen zu bilden. Der Grund, warum Wahrheitstabellen wichtig sind, geht über eine reine Schulübung hinaus. Studierende der Informatik nutzen sie, um digitale Schaltkreise zu entwerfen, bei denen jedes Logikgatter — UND, ODER, NICHT, NAND, XOR — direkt einer Wahrheitstabelle entspricht, und das Gesamtverhalten einer Schaltung ist die Wahrheitstabelle aller miteinander verschalteten Gatter. Softwareentwickler nutzen dieselben Tabellen, um bedingte Anweisungen im Code, Filter für Datenbankabfragen und Suchlogik zu vereinfachen, denn eine unübersichtliche verschachtelte if-Anweisung ist oft nur ein boolescher Algebra-Ausdruck, der noch nicht vereinfacht wurde. Philosophie- und Mathematikkurse nutzen Wahrheitstabellen, um zu prüfen, ob ein Argument logisch gültig ist, unabhängig davon, ob die einzelnen Behauptungen in der realen Welt tatsächlich zutreffen. Sobald Sie eine Wahrheitstabelle von Hand erstellen können, wird ein Rechner zu einem Mittel, Ihre Arbeit gegenzuprüfen, statt zu einem Ersatz für das Verständnis.

Eine Wahrheitstabelle ist schlicht jede mögliche Eingabekombination für eine logische Aussage, zusammen mit dem Ergebnis, das jede Kombination liefert.

Wie funktionieren die grundlegenden logischen Operatoren NICHT, UND und ODER?

Bevor man sich der Implikation oder mehrstelligen Ausdrücken widmet, hilft es, die drei einfachsten logischen Operatoren zu verinnerlichen, denn jede komplexere Aussage ist im Grunde nur NICHT, UND und ODER, auf unterschiedliche Weise kombiniert und verschachtelt.

1. NICHT p (Negation)

NICHT kehrt lediglich den Wahrheitswert einer Aussage um. p | NICHT p W | F F | W Wenn p „der Himmel ist blau“ ist und p wahr ist, dann ist NICHT p — „der Himmel ist nicht blau“ — falsch. Die Negation ist der einzige Operator hier, der auf eine einzelne Variable wirkt, statt zwei zu verknüpfen.

2. p UND q (Konjunktion)

UND ist nur wahr, wenn beide Aussagen wahr sind. p | q | p UND q W | W | W W | F | F F | W | F F | F | F Von vier möglichen Zeilen macht nur eine — beide p und q wahr — die gesamte Aussage wahr. Das ist der strengste der grundlegenden logischen Operatoren: Eine einzige falsche Eingabe reicht, um die gesamte Konjunktion falsch zu machen.

3. p ODER q (Disjunktion)

ODER ist wahr, sobald mindestens eine Aussage wahr ist. p | q | p ODER q W | W | W W | F | W F | W | W F | F | F Nur die Zeile, in der sowohl p als auch q falsch sind, macht die Disjunktion falsch. Das ist das einschließende ODER, das in der Aussagenlogik und der booleschen Algebra durchgängig verwendet wird — wenn beide Aussagen wahr sind, zählt das immer noch als wahr, anders als das umgangssprachliche „entweder... oder“, das genau eine Möglichkeit meint.

NICHT kehrt einen einzelnen Wert um; UND braucht alles wahr; ODER schlägt nur fehl, wenn alles falsch ist.

Wie wertet ein Wahrheitstabellen-Rechner die Implikation (p → q) aus?

Die Implikation, geschrieben p → q und gelesen als „wenn p, dann q“, ist der logische Operator, der die meisten Menschen stolpern lässt, weil er nicht dazu passt, wie sich „wenn... dann“-Aussagen im Alltag anfühlen. Ein Wahrheitstabellen-Rechner wertet sie nach genau einer Regel aus: p → q ist in genau einer Situation falsch — wenn p wahr, aber q falsch ist — und in jedem anderen Fall wahr.

1. Schritt 1 — Alle Kombinationen von p und q auflisten

Mit zwei Variablen gibt es 2² = 4 Zeilen: WW, WF, FW, FF.

2. Schritt 2 — Die Implikationsregel auf jede Zeile anwenden

p | q | p → q W | W | W W | F | F F | W | W F | F | W Die einzige falsche Zeile ist W, F — p versprach q, und q ist nicht eingetreten.

3. Schritt 3 — Die beiden „überraschenden“ wahren Zeilen deuten

Wenn p falsch ist (Zeilen FW und FF), ist die Implikation unabhängig von q wahr, weil eine falsche Prämisse die Aussage „vakuos wahr“ macht — man kann kein Versprechen brechen, das man nie gegeben hat. Das ist der Teil der Implikations-Wahrheitstabelle, der am wenigsten intuitiv wirkt, aber für die Aussagenlogik unerlässlich ist.

4. Schritt 4 — Mit einem echten Beispiel gegenprüfen

„Wenn es regnet, wird der Boden nass.“ Wenn es nicht regnet (p ist falsch), wurde die Aussage nicht widerlegt, egal wie der Boden aussieht — genau deshalb kommen beide Zeilen FW und FF wahr heraus.

p → q ist in genau einer Zeile falsch: p wahr, q falsch. Jede andere Kombination macht die Implikation wahr.

Wie sieht die Wahrheitstabelle für (p ∧ q) → r aus?

Eine dritte Variable hinzuzufügen vervielfacht die Zeilenzahl: 2³ = 8. Der Ausdruck (p ∧ q) → r bedeutet „wenn p und q beide wahr sind, dann ist r wahr“, und seine Wahrheitstabelle aufzustellen bedeutet, eine Zwischenspalte, p ∧ q, zu berechnen, bevor die Implikationsregel gegenüber r angewendet wird.

1. Schritt 1 — Alle 8 Kombinationen von p, q und r auflisten

Mit drei Variablen durchläuft man jede Kombination in einer festen Reihenfolge, damit keine Zeile übersprungen oder wiederholt wird: WWW, WWF, WFW, WFF, FWW, FWF, FFW, FFF.

2. Schritt 2 — Die Zwischenspalte p ∧ q berechnen

p ∧ q ist nur in den zwei Zeilen wahr, in denen sowohl p als auch q wahr sind (WWW und WWF), und in den übrigen sechs Zeilen falsch.

3. Schritt 3 — Die Implikation zwischen (p ∧ q) und r anwenden

p | q | r | p∧q | (p∧q)→r W | W | W | W | W W | W | F | W | F W | F | W | F | W W | F | F | F | W F | W | W | F | W F | W | F | F | W F | F | W | F | W F | F | F | F | W

4. Schritt 4 — Das Ergebnis deuten

Die einzige falsche Zeile ist WWF: p und q sind beide wahr, aber r ist falsch — der einzige Fall, in dem der Vordersatz (p ∧ q) zutrifft, aber der Hintersatz nicht. Jede andere Zeile ist wahr, entweder weil r wahr ist oder weil p ∧ q bereits falsch war, wodurch die Implikation vakuos wahr wird.

Von 8 möglichen Zeilen für (p ∧ q) → r macht nur eine die gesamte Aussage falsch: p und q wahr, r falsch.

Wie nutzt man einen Wahrheitstabellen-Rechner, um äquivalente Aussagen zu beweisen?

Zwei Aussagen sind äquivalente Aussagen, wenn ihre Wahrheitstabellen in jeder Zeile identische Ergebnisspalten liefern — nicht nur bei ein paar Beispielen, sondern bei jeder möglichen Kombination der Eingaben. Genau so nutzt man einen Wahrheitstabellen-Rechner, um eines der nützlichsten Ergebnisse der booleschen Algebra zu beweisen: die De-Morgan-Gesetze, die besagen, dass ¬(p ∧ q) äquivalent zu ¬p ∨ ¬q ist.

1. Schritt 1 — Die Spalten für p ∧ q und ihre Negation aufstellen

p | q | p∧q | ¬(p∧q) W | W | W | F W | F | F | W F | W | F | W F | F | F | W

2. Schritt 2 — Die Spalten für ¬p, ¬q und ihre Disjunktion aufstellen

p | q | ¬p | ¬q | ¬p∨¬q W | W | F | F | F W | F | F | W | W F | W | W | F | W F | F | W | W | W

3. Schritt 3 — Die beiden Ergebnisspalten vergleichen

¬(p∧q): F, W, W, W ¬p∨¬q: F, W, W, W Die beiden Spalten stimmen in jeder einzelnen Zeile überein — genau das ist die Definition logischer Äquivalenz: Die Aussagen sind nur zwei verschiedene Arten, dasselbe auszudrücken.

4. Schritt 4 — Das Muster verallgemeinern

Das zweite De-Morgan-Gesetz funktioniert genauso: ¬(p ∨ q) ist äquivalent zu ¬p ∧ ¬q. Bei beiden Gesetzen kehrt die Negation eines ganzen Ausdrucks den Operator um (UND wird zu ODER, ODER wird zu UND) und verteilt die Negation auf jede Variable — eine Regel, die beim Vereinfachen boolescher Algebra-Ausdrücke in Code und im digitalen Schaltungsentwurf ständig vorkommt.

Wenn zwei Wahrheitstabellen in jeder Zeile dieselbe Ergebnisspalte liefern, sind die Aussagen äquivalente Aussagen — egal wie unterschiedlich sie ausgeschrieben aussehen.

Welche Fehler sollten Sie beim Erstellen einer Wahrheitstabelle von Hand vermeiden?

Die meisten falschen Wahrheitstabellen entstehen durch eine Handvoll vorhersehbarer Ausrutscher und nicht durch ein Missverständnis der logischen Operatoren selbst. Diese im Voraus zu kennen, erspart viel Nachprüfen.

1. Eine Zeile überspringen oder doppelt aufführen

Bei n Variablen muss es genau 2ⁿ Zeilen geben, durchlaufen in konsistenter Reihenfolge (wie beim Zählen im Binärsystem: WWW, WWF, WFW...). Eine fehlende oder wiederholte Zeile bedeutet, dass die Tabelle nicht wirklich jeden Fall abdeckt, was jede darauf basierende Äquivalenzprüfung unbrauchbar macht.

2. Implikation fälschlich als „und“ lesen

p → q ist nicht dasselbe wie p ∧ q. Die Implikation ist in genau einer Zeile falsch (p wahr, q falsch); die Konjunktion ist in drei Zeilen falsch. Diese beiden zu verwechseln ist der mit Abstand häufigste Wahrheitstabellen-Fehler in der Aussagenlogik.

3. Die Operatorenreihenfolge vergessen

Bei (p ∧ q) → r sind die Klammern entscheidend — ∧ muss vor → ausgewertet werden. Ohne sie ist p ∧ (q → r) eine völlig andere Aussage mit einer anderen Wahrheitstabelle.

4. Das De-Morgan-Gesetz nur halb anwenden

¬(p ∧ q) in ¬p ∧ ¬q zu negieren — und dabei zu vergessen, UND auch zu ODER umzukehren — ergibt eine Aussage, die nicht äquivalent zur ursprünglichen ist. Sowohl der Operator als auch jede Variable müssen zusammen negiert werden.

Fast jeder Wahrheitstabellen-Fehler ist eine ausgelassene Zeile, ein vertauschter Operator oder eine unvollständige Negation — kein Fehler in der Logik selbst.

Wie können Sie Ihre boolesche Algebra-Arbeit überprüfen?

Bevor Sie einer von Hand erstellten Wahrheitstabelle vertrauen, führen Sie ein paar schnelle Prüfungen durch, genau wie Sie jede andere mehrstufige Rechnung gegenprüfen würden.

1. Die Zeilen nachzählen

Eine Aussage mit n Variablen sollte genau 2ⁿ Zeilen haben. Zwei Variablen: 4 Zeilen. Drei Variablen: 8 Zeilen. Stimmt die Anzahl nicht, wurde eine Zeile übersprungen oder doppelt aufgeführt.

2. Die falschen Zeilen stichprobenartig gegen die Regel prüfen

Bei der Implikation sollte nur p-wahr-q-falsch falsch sein. Bei der Konjunktion sollte nur alles-wahr wahr sein. Passt das Ergebnis einer Zeile nicht zur definierenden Regel des Operators, prüfen Sie genau diese Zeile erneut.

3. Äquivalenz an der vollständigen Spalte testen, nicht an einer Zeile

Zwei Ausdrücke, die in drei von vier Zeilen übereinstimmen, sind nicht äquivalent — jede einzelne Zeile muss übereinstimmen. Nutzen Sie einen Wahrheitstabellen-Generator oder -Rechner, um die gesamte Spalte auf einmal zu prüfen, wenn eine von Hand erstellte Prüfung unsicher erscheint.

Zählen Sie die Zeilen, prüfen Sie die definierende Regel gegen die falschen Fälle, und nennen Sie zwei Aussagen nie äquivalent, bevor nicht jede Zeile übereinstimmt.

Nutzen Sie Solvifys Wahrheitstabellen-Rechner, um Ihre Logik zu überprüfen

Sobald Sie verstehen, wie sich NICHT, UND, ODER und Implikation Zeile für Zeile verhalten, wird ein Wahrheitstabellen-Rechner zu einem Mittel, die eigene Argumentation zu prüfen, statt sie abzukürzen. Solvifys Schritt-für-Schritt-Löser baut jede Zeile eines logischen Ausdrucks einzeln auf und zeigt die Zwischenspalten — wie p ∧ q, bevor die Implikationsregel angewendet wird —, sodass Sie Ihre von Hand erstellte Tabelle damit vergleichen und genau herausfinden können, wo ein Fehler passiert ist, sei es eine übersprungene Zeile, ein falsch angewendeter Operator oder ein halb fertiges De-Morgan-Gesetz. Eine Wahrheitstabelle zunächst von Hand durchzuarbeiten und einen Rechner nur zu nutzen, um die abschließenden Spalten zu bestätigen, baut genau die Sicherheit auf, die in Kursen zur Aussagenlogik und booleschen Algebra hängen bleibt — auf einen Blick zu erkennen, dass die Implikation genau eine falsche Zeile hat, dass eine Aussage mit drei Variablen acht Zeilen braucht, und dass zwei Ausdrücke erst dann äquivalente Aussagen sind, wenn jede Zeile übereinstimmt, noch bevor ein Rechner das für Sie bestätigt.

Das Ziel eines Wahrheitstabellen-Rechners sollte sein, Ihre Argumentation zu bestätigen, nicht sie zu ersetzen — arbeiten Sie die Tabelle zuerst von Hand durch und prüfen Sie danach.

Tags: