Over Logic Calculator

Wat is dit?

Dit is een logische calculator die propositielogica en booleaanse logica ondersteunt. Het helpt studenten en professionals werken met logische uitdrukkingen door analyse-, visualisatie- en berekeningshulpmiddelen te bieden.

Functies

• Propositielogische uitdrukkingen decoderen en visualiseren
• Ondersteuning voor negatie, implicatie, conjunctie, disjunctie en biconditionelen
• Controleren of uitdrukkingen vervulbaar en geldig zijn
• Uitgebreide waarheidstabellen maken
• Visuele expressiebomen genereren
• Alternatieve equivalente formuleringen bieden

Maker

Deze calculator is gemaakt door Jonathan Søholm-Boesen als educatief hulpmiddel voor studenten die logica en informatica bestuderen.

Onderhouden door

De Logic Calculator wordt momenteel onderhouden en ontwikkeld door Infobits ApS, een softwareontwikkelingsbedrijf dat privacyvriendelijke producten bouwt.

Educatief doel

Dit hulpmiddel is bedoeld als educatieve bron om studenten te helpen propositielogica te begrijpen. Hoewel het oorspronkelijk werd gemaakt voor de cursus Berekenbaarheid & Logica aan de Universiteit van Aarhus, is het niet officieel verbonden aan de universiteit.