Logic Calculator: Gør Logik Tilgængelig
Projektoversigt
Logic Calculator er en pædagogisk webapplikation til propositional logik og boolsk algebra. Den parser og evaluerer logiske udtryk, genererer komplette sandhedstabeller, visualiserer udtryksstruktur som et interaktivt træ og afgør satisfiabilitet, validitet og ækvivalens — så abstrakt formalisme bliver noget, studerende og undervisere kan udforske med øjeblikkelig respons.
Udfordringen
Propositional logik er fundamentet i matematik, datalogi og filosofi, men springet fra papirøvelser til reel intuition er svært. Vi ville bygge et værktøj, der kunne:
- Parse komplekse udtryk med standardoperatorerne NOT, AND, OR, IF og IFF
- Producere sandhedstabeller og strukturelle analyser øjeblikkeligt
- Forklare hvorfor et udtryk er en tautologi, modstrid eller kontingens — ikke bare klassificere det
- Køre fuldt offline på enhver enhed, på den studerendes eget sprog
- Være hurtigt og tilgængeligt nok til at bruge live under en forelæsning
Vores Løsning
Logic Calculator samler en udtryksmotor og et sæt analyseværktøjer i ét fokuseret interface:
- Udtryksevaluering: Parse og evaluer komplekse formler med
!,&,|,->og<-> - Sandhedstabel-generator: Automatiske, komplette sandhedstabeller for ethvert udtryk
- Udtrykstræ: Interaktiv visuel fremstilling af, hvordan udtrykket parses
- Satisfiabilitet & Validitet: Klassificer formler som tautologier, modstrid eller kontingenser
- Ækvivalenstest: Sammenlign to udtryk for semantisk ækvivalens
- 19 sprog: Fuld lokalisering af brugerfladen, inklusive engelsk, spansk, fransk, tysk, italiensk, portugisisk, kinesisk, japansk, koreansk, hindi, bengali, vietnamesisk, arabisk, russisk, tyrkisk, hollandsk, svensk, norsk og dansk
Teknisk Implementering
Applikationen er bygget med fokus på hastighed, privatliv og global rækkevidde:
- Next.js 15 Static Export: Forrenderede sider deployet til Cloudflares edge-netværk for øjeblikkelig indlæsning hvor som helst i verden
- Klient-side evaluering: Parsing, sandhedstabeller og trævisualisering sker udelukkende i browseren — ingen data forlader brugerens enhed
- Type-sikkert fundament: TypeScript på tværs af parser, evaluator og UI for forudsigelig adfærd
- Omfattende test: Jest til unit tests, Playwright til end-to-end-dækning og Lighthouse CI, der sikrer hver release en performance-score over 90
- Tilgængelighed: WCAG-kompatibel med fuld tastaturnavigation, skærmlæser-labels og høj-kontrast-understøttelse
- Responsiv som standard: Optimeret til desktop, tablet og mobil — lige så brugbar i auditoriet som på en telefon
Resultater
Logic Calculator er blevet en pålidelig følgesvend i undervisningen:
- Tilgængelig på 19 sprog og når dermed hovedparten af verdens studerende
- Anvendt i universitetskurser i logik og diskret matematik
- Konsistente Lighthouse-scores over 90 på performance, tilgængelighed og SEO
- Privatlivsvenlig som udgangspunkt — intet forlader browseren
Fremtidige Retninger
Værktøjet fortsætter med at vokse:
- Prædikatlogik (første-ordens) med kvantorer
- Interaktiv konstruktion af naturlige deduktionsbeviser
- Forklaringer af transformationer på naturligt sprog
- LMS-integrationer til opgaver og afleveringer
Logic Calculator viser, hvordan en fokuseret, velkonstrueret webapp kan forvandle et abstrakt fagområde til noget, de studerende kan udforske, visualisere og for alvor forstå.