Wahrheitstabellen-Generator
Erstellen Sie sofort vollständige Wahrheitstabellen für jeden booleschen Logikausdruck. Geben Sie Ausdrücke mit AND, OR, NOT, XOR, NAND, NOR, XNOR, Implikation (→) und Bikonditional (↔) mit bis zu 8 Variablen ein. Vergleichen Sie mehrere Ausdrücke nebeneinander, erkennen Sie Tautologien und Widersprüche und wechseln Sie zwischen T/F- und 1/0-Anzeige - alles läuft lokal in Ihrem Browser, ohne Anmeldung.
Enter one or more Boolean expressions separated by commas to generate a complete truth table. Supports AND, OR, NOT, XOR, NAND, NOR, XNOR, implication (→), and biconditional (↔).
Operators: AND OR NOT XOR NAND NOR XNOR -> <-> · Also: && || ! ^
Quick Examples
∧AND / && / & - Both true∨OR / || / | - At least one true¬NOT / ! / ~ - Negation⊕XOR / ^ - Exactly one true↑NAND - NOT AND↓NOR - NOT OR⊙XNOR - Both same→-> - Implication↔<-> - BiconditionalWarum unseren Wahrheitstabellen-Generator verwenden?
- Sofortige Wahrheitstabellen-Erstellung: Geben Sie einen beliebigen booleschen Ausdruck ein und erstellen Sie sofort eine vollständige Wahrheitstabelle. Der Generator analysiert Ihren Ausdruck im Browser und erzeugt alle 2ⁿ Eingabekombinationen mit korrekten Ausgaben - kein Laden, kein Server-Roundtrip.
- Sicherer Wahrheitstabellen-Generator online: Der Generator läuft vollständig in Ihrem Browser. Ihre booleschen Ausdrücke, Logikformeln und Hausaufgaben werden niemals an einen Server gesendet - keine Datenerfassung, kein Tracking, vollständig privat.
- Wahrheitstabellen-Generator - ohne Installation: Nutzen Sie den Generator direkt in jedem modernen Browser ohne Downloads, Apps oder Plugins. Unterstützt AND, OR, NOT, XOR, NAND, NOR, XNOR, Implikation (→) und Bikonditional (↔) mit bis zu 8 Variablen.
- 100% kostenlos mit Unterstützung mehrerer Ausdrücke: Der Wahrheitstabellen-Generator ist völlig kostenlos, ohne Anmeldung, ohne Nutzungslimits und ohne Werbung. Geben Sie mehrere kommagetrennte Ausdrücke ein, um sie nebeneinander in einer einzigen Tabelle zu vergleichen - ideal zum Überprüfen logischer Äquivalenzen und der De-Morgan-Gesetze.
Häufige Anwendungsfälle des Wahrheitstabellen-Generators
- Informatik-Hausaufgaben: Studierende nutzen den Generator, um Aufgaben aus diskreter Mathematik und digitaler Logik zu lösen. Geben Sie einen beliebigen booleschen Ausdruck aus Ihrem Lehrbuch ein und prüfen Sie Ihre handschriftliche Wahrheitstabelle sofort gegen die Ausgabe des Generators.
- Überprüfung logischer Äquivalenzen: Nutzen Sie den Generator, um logische Äquivalenzen zu beweisen oder zu widerlegen, indem Sie beide Ausdrücke als kommagetrennte Eingaben eingeben. Stimmen die Ausgabespalten in allen Zeilen überein, sind die Ausdrücke logisch äquivalent - ideal zum Überprüfen der De-Morgan-Gesetze und Distributivgesetze.
- Entwurf digitaler Schaltungen: Hardware-Ingenieure nutzen den Generator, um das erwartete Verhalten kombinatorischer Logikschaltungen vor der Implementierung zu definieren. Erstellen Sie Wahrheitstabellen für Halbaddierer, Volladdierer, Multiplexer und benutzerdefinierte Gatterkombinationen.
- Erkennung von Tautologien und Widersprüchen: Der Generator erkennt automatisch Tautologien (immer wahr) und Widersprüche (immer falsch) und zeigt ein klares Abzeichen. Das ist nützlich zum Überprüfen logischer Axiome, zum Prüfen von Beweisschritten und zum Erkennen redundanter Bedingungen im Code.
- Programmierung und bedingte Logik: Entwickler nutzen den Generator, um komplexe boolesche Bedingungen im Code zu durchdenken. Ordnen Sie die Variablen Ihrer if-Anweisung A, B, C zu und geben Sie die Bedingung ein, um vor dem Schreiben des Codes alle möglichen Eingabekombinationen und ihre Ergebnisse zu sehen.
- Unterricht und Klassendemonstrationen: Lehrende nutzen den Generator, um Konzepte der booleschen Algebra in Echtzeit zu veranschaulichen. Die Schnellbeispiele decken AND, OR, NOT, XOR, NAND, NOR, die De-Morgan-Gesetze und den Halbaddierer ab - einsatzbereit ohne Einrichtung.
Was ist eine Wahrheitstabelle?
Eine Wahrheitstabelle ist eine mathematische Tabelle, die in der Logik verwendet wird, um die Ausgabe eines booleschen Ausdrucks für jede mögliche Kombination von Eingabewerten zu bestimmen. Für n Variablen hat eine Wahrheitstabelle 2ⁿ Zeilen - eine für jede eindeutige Kombination aus WAHR- und FALSCH-Eingaben. Wahrheitstabellen sind grundlegend für die boolesche Algebra , den Entwurf digitaler Schaltungen, die Aussagenlogik und die Informatik. Sie werden verwendet, um logische Äquivalenzen zu überprüfen, Tautologien zu beweisen, Widersprüche zu identifizieren und das Verhalten von Logikgattern zu definieren. Unser Wahrheitstabellen-Generator analysiert jeden booleschen Ausdruck in Standardnotation und erzeugt die vollständige Wahrheitstabelle sofort in Ihrem Browser - ohne Server, ohne Konto, ohne Warten.
So funktioniert unser Wahrheitstabellen-Generator
- Booleschen Ausdruck eingeben: Tippen Sie einen oder mehrere boolesche Ausdrücke in das Eingabefeld, durch Kommas getrennt. Verwenden Sie Variablennamen A-Z und jeden unterstützten Operator. Der Generator extrahiert automatisch alle eindeutigen Variablen und sortiert sie alphabetisch als Spaltenüberschriften.
- Sofortige Analyse im Browser: Klicken Sie auf „Wahrheitstabelle erstellen“, und der Generator tokenisiert und analysiert Ihren Ausdruck mit einem rekursiven Abstiegsparser vollständig in Ihrem Browser. Es werden keine Ausdrucksdaten an einen Server gesendet - Ihre Logikformeln bleiben vollständig privat auf Ihrem Gerät.
- Vollständige Tabelle prüfen: Der Generator zeigt alle 2ⁿ Zeilen mit Eingabespalten (grau) und Ausgabespalten (hervorgehoben). WAHR-Werte erscheinen in Grün, FALSCH in Rot. Wechseln Sie zwischen T/F- und 1/0-Anzeige. Mehrere Ausdrücke erscheinen als nebeneinanderliegende Ausgabespalten zum einfachen Vergleich.
Unterstützte Operatoren und Syntax
- AND (∧): Schreiben Sie AND , && oder & - gibt nur WAHR aus, wenn beide Eingaben WAHR sind.
- OR (∨): Schreiben Sie OR , || oder | - gibt WAHR aus, wenn mindestens eine Eingabe WAHR ist.
- NOT (¬): Schreiben Sie NOT , ! oder ~ - negiert die Eingabe. Kann verkettet werden: NOT NOT A .
- XOR / NAND / NOR / XNOR / → / ↔: Schreiben Sie XOR , NAND , NOR , XNOR , -> (Implikation) oder <-> (Bikonditional). Klammern werden zur Gruppierung vollständig unterstützt.
Operatorrangfolge
Der Wahrheitstabellen-Generator wertet Operatoren in folgender Rangfolge aus (hoch nach niedrig): NOT (höchste) → NAND / XNOR → AND → NOR → XOR → OR → IMPLIES (→) → IFF (↔) (niedrigste). Verwenden Sie Klammern, um die Rangfolge zu überschreiben - zum Beispiel ist NOT (A AND B) etwas anderes als NOT A AND B . Verwenden Sie im Zweifel immer Klammern, um Ihre Absicht klar auszudrücken.
Häufig gestellte Fragen
Ein Wahrheitstabellen-Generator ist ein Werkzeug, das automatisch eine vollständige Wahrheitstabelle für jeden booleschen Logikausdruck erzeugt. Er wertet den Ausdruck für jede mögliche Kombination von WAHR- und FALSCH-Eingabewerten aus. Unser Wahrheitstabellen-Generator läuft vollständig in Ihrem Browser, unterstützt 9 Operatoren und erfordert keine Anmeldung.
Tippen Sie Ihren Ausdruck mit Variablennamen A-Z und Operatoren wie AND, OR, NOT, XOR, NAND, NOR, XNOR, -> (Implikation) und <-> (Bikonditional) ein. Sie können auch Symbole verwenden: && für AND, || für OR, ! oder ~ für NOT, ^ für XOR. Verwenden Sie Klammern zur Gruppierung.
Absolut. Der Wahrheitstabellen-Generator läuft vollständig in Ihrem Browser. Ihre booleschen Ausdrücke und Logikformeln werden niemals an einen Server gesendet, in einer Datenbank gespeichert oder verfolgt. Alles bleibt vollständig privat auf Ihrem Gerät.
Ja - der Wahrheitstabellen-Generator ist 100% kostenlos, ohne Anmeldung, ohne Konto und ohne Nutzungslimits. Erstellen Sie Wahrheitstabellen für jeden Ausdruck mit bis zu 8 Variablen so oft Sie möchten - für immer völlig kostenlos.
Der Wahrheitstabellen-Generator unterstützt bis zu 8 Variablen, was maximal 256 Zeilen (2⁸) ergibt. Für die meisten Logikprobleme sind 2-4 Variablen (4-16 Zeilen) der typische Bereich.
Ja. Geben Sie mehrere boolesche Ausdrücke durch Kommas getrennt ein, und der Wahrheitstabellen-Generator zeigt sie als nebeneinanderliegende Ausgabespalten in einer einzigen Tabelle an - ideal zum Überprüfen logischer Äquivalenzen.
Eine Tautologie ist ein boolescher Ausdruck, der für jede mögliche Kombination von Eingabewerten WAHR ist. Der Wahrheitstabellen-Generator erkennt Tautologien automatisch und zeigt ein grünes Abzeichen. Widersprüche (immer FALSCH) werden mit einem roten Abzeichen markiert.
Rangfolge von hoch nach niedrig: NOT → NAND/XNOR → AND → NOR → XOR → OR → IMPLIES (→) → IFF (↔). Verwenden Sie Klammern, um die Rangfolge bei Bedarf zu überschreiben.
Ja. Verwenden Sie -> für die logische Implikation (A → B) und <-> für das Bikonditional (A ↔ B). Diese werden in der Tabellenkopfzeile mit den Standard-Logiksymbolen angezeigt. Sie können überprüfen, dass A -> B gleich NOT A OR B ist, indem Sie beide als kommagetrennte Ausdrücke eingeben.