Om Logic Calculator

Hvad er dette?

Dette er en logisk beregner, der understøtter propositionslogik og boolesk logik. Den hjælper studerende og fagfolk med at arbejde med logiske udtryk ved at tilbyde analyse-, visualiserings- og beregningsværktøjer.

Funktioner

• Afkod og visualiser propositionslogiske udtryk
• Understøttelse af negation, implikation, konjunktion, disjunktion og bikonditionaler
• Kontroller om udtryk er tilfredsstillende og gyldige
• Opret omfattende sandhedstabeller
• Generer visuelle udtrykstræer
• Tilbyd alternative ækvivalente formuleringer

Skaber

Denne beregner blev skabt af Jonathan Søholm-Boesen som et pædagogisk værktøj til studerende, der studerer logik og datalogi.

Vedligeholdt af

Logic Calculator vedligeholdes og udvikles i øjeblikket af Infobits ApS, et softwareudviklingsfirma, der bygger privatlivsvenlige produkter.

Pædagogisk formål

Dette værktøj er beregnet til at være en pædagogisk ressource til at hjælpe studerende med at forstå propositionslogik. Selvom det oprindeligt blev lavet til kurset Beregningsteori & Logik på Aarhus Universitet, er det ikke officielt forbundet med universitetet.