Was ist das?
Dies ist ein Logikrechner, der Aussagenlogik und Boolesche Logik unterstützt. Er hilft Studenten und Fachleuten bei der Arbeit mit logischen Ausdrücken durch Analyse-, Visualisierungs- und Berechnungswerkzeuge.
Funktionen
- Aussagenlogische Ausdrücke dekodieren und visualisieren
- Unterstützung für Negation, Implikation, Konjunktion, Disjunktion und Bikonditionale
- Überprüfen, ob Ausdrücke erfüllbar und gültig sind
- Umfassende Wahrheitstabellen erstellen
- Visuelle Ausdrucksbäume generieren
- Bereitstellung äquivalenter alternativer Formulierungen
Ersteller
Dieser Rechner wurde von Jonathan Søholm-Boesen als Bildungswerkzeug für Studenten der Logik und Informatik erstellt.
Jonathan Søholm-Boesen
Website: jonathansb.com
Gepflegt von
Der Logic Calculator wird derzeit von Infobits ApS gepflegt und entwickelt, einem Softwareentwicklungsunternehmen, das datenschutzfreundliche Produkte entwickelt.
Infobits ApS
Website: infobits.io
Email: [email protected]
Die laufenden Kosten und neue Inhalte werden mit den Organisationen geteilt, die die Seite sponsern. Unsere Sponsoren ansehen
Bildungszweck
Dieses Tool soll eine Bildungsressource sein, um Studenten beim Verständnis der Aussagenlogik zu helfen. Obwohl es ursprünglich für den Kurs Berechenbarkeit & Logik an der Universität Aarhus erstellt wurde, ist es nicht offiziell mit der Universität verbunden.