Om Logic Calculator

Vad är detta?

Detta är en logisk kalkylator som stöder propositionslogik och boolesk logik. Den hjälper studenter och yrkesverksamma att arbeta med logiska uttryck genom att tillhandahålla analys-, visualiserings- och beräkningsverktyg.

Funktioner

• Avkoda och visualisera propositionslogiska uttryck
• Stöd för negation, implikation, konjunktion, disjunktion och bivillkor
• Kontrollera om uttryck är tillfredsställbara och giltiga
• Skapa omfattande sanningst tabeller
• Generera visuella uttrycksträd
• Tillhandahålla alternativa ekvivalenta formuleringar

Skapare

Denna kalkylator skapades av Jonathan Søholm-Boesen som ett pedagogiskt verktyg för studenter som studerar logik och datavetenskap.

Underhålls av

Logic Calculator underhålls och utvecklas för närvarande av Infobits ApS, ett mjukvaruutvecklingsföretag som bygger integritetsvänliga produkter.

Pedagogiskt syfte

Detta verktyg är avsett att vara en pedagogisk resurs för att hjälpa studenter förstå propositionslogik. Även om det ursprungligen skapades för kursen Beräkningsbarhet & Logik vid Aarhus Universitet, är det inte officiellt associerat med universitetet.