Om Logic Calculator

Hva er dette?

Dette er en logisk kalkulator som støtter proposisjonslogikk og boolsk logikk. Den hjelper studenter og fagfolk med å jobbe med logiske uttrykk ved å tilby analyse-, visualiserings- og beregningsverktøy.

Funksjoner

• Dekode og visualisere proposisjonslogiske uttrykk
• Støtte for negasjon, implikasjon, konjunksjon, disjunksjon og bikondisjoner
• Sjekke om uttrykk er tilfredsstillende og gyldige
• Opprette omfattende sannhetstabeller
• Generere visuelle uttrykkstrær
• Gi alternative ekvivalente formuleringer

Skaper

Denne kalkulatoren ble laget av Jonathan Søholm-Boesen som et pedagogisk verktøy for studenter som studerer logikk og informatikk.

Vedlikeholdt av

Logic Calculator vedlikeholdes og utvikles for tiden av Infobits ApS, et programvareutviklingsfirma som bygger personvernvennlige produkter.

Pedagogisk formål

Dette verktøyet er ment å være en pedagogisk ressurs for å hjelpe studenter med å forstå proposisjonslogikk. Selv om det opprinnelig ble laget for kurset Beregnbarhet & Logikk ved Aarhus Universitet, er det ikke offisielt tilknyttet universitetet.