Geben Sie einen Aussagenlogik-Ausdruck ein, um ihn zu dekodieren
Nachfolgend finden Sie Beispiele für die Verwendung der einzelnen Operatoren zum Erstellen einer Gleichung der Aussagenlogik. Klicken Sie unten auf einen Operator, um ein Beispiel einzufügen.
Für die Verwendung dieses Rechners sind einige Kenntnisse der Aussagenrechnung erforderlich. Wenn Sie mit der Aussagenrechnung nicht vertraut sind, haben wir eine einfache Einführung erstellt. Sie ist nur als Einführung in das Thema gedacht. Wenn Sie also mehr Wissen benötigen, müssen Sie es woanders finden.
Hier ist der Link: Introduction to Propositional Calculus
Dies ist ein Aussagenlogik-Rechner, auch bekannt als Logik-Rechner, der für den Kurs Berechenbarkeit & Logik an der Universität Aarhus entwickelt wurde, aber nicht mit diesem verbunden ist. Er kann Aussagenlogik-Ausdrücke dekodieren und visualisieren. Er unterstützt Negation, Implikation, und, oder und Äquivalenz. Er prüft, ob der Ausdruck erfüllbar und gültig ist und bietet Alternativen. Er generiert auch eine Wahrheitstabelle und einen Ausdrucksbaum. Er ist als Lehrmittel gedacht, um Schülern zu helfen, die Aussagenlogik zu verstehen.
Wenn Sie auf Fehler stoßen oder Feedback haben, kontaktieren Sie uns
bitte unter:
[email protected]
Anfragen werden bevorzugt in englischer Sprache beantwortet.
Wenn Sie die Entwicklung dieses Rechners unterstützen möchten, können Sie dies unter diesem Link tun: buymeacoffee.com/infobits
Diese Website ist in mehreren Sprachen verfügbar.
Wir verwenden lokalen Speicher, um Ihren Verlauf zu speichern. Wenn Sie diese Daten löschen möchten, verwenden Sie dazu die Schaltfläche unten.