Logic Calculator: Logica toegankelijk maken
Projectoverzicht
Logic Calculator is een educatieve webapplicatie voor propositielogica en Booleaanse algebra. De app parseert en evalueert logische uitdrukkingen, genereert volledige waarheidstabellen, visualiseert de structuur van expressies als een interactieve boom en bepaalt vervulbaarheid, geldigheid en equivalentie — waardoor abstract formalisme iets wordt dat studenten en docenten direct kunnen onderzoeken met onmiddellijke feedback.
De uitdaging
Propositielogica vormt de basis van wiskunde, informatica en filosofie, maar de stap van papieren oefeningen naar echte intuïtie is lastig. We wilden een tool bouwen die:
- complexe uitdrukkingen verwerkt met de standaardoperatoren NOT, AND, OR, IF en IFF
- direct waarheidstabellen en structurele analyses levert
- uitlegt waarom een formule een tautologie, tegenspraak of contingentie is — niet alleen classificeert
- volledig offline werkt op elk apparaat, in de taal van de student
- snel en toegankelijk genoeg is om live tijdens een college te gebruiken
Onze oplossing
Logic Calculator combineert een expressie-engine met analytische gereedschappen in één gefocuste interface:
- Expressie-evaluatie: parseer en evalueer complexe formules met
!,&,|,->en<-> - Waarheidstabel-generator: automatische, volledige waarheidstabellen voor elke formule
- Expressieboom: interactieve visuele weergave van hoe de uitdrukking wordt geparseerd
- Vervulbaarheid en geldigheid: classificeert formules als tautologieën, tegenspraken of contingenties
- Equivalentietest: vergelijkt twee uitdrukkingen op semantische equivalentie
- 19 talen: volledig gelokaliseerde interface, waaronder Engels, Spaans, Frans, Duits, Italiaans, Portugees, Chinees, Japans, Koreaans, Hindi, Bengali, Vietnamees, Arabisch, Russisch, Turks, Nederlands, Zweeds, Noors en Deens
Technische implementatie
De applicatie is gebouwd op snelheid, privacy en mondiaal bereik:
- Next.js 15 statische export: voorgerenderde pagina's uitgerold op het edge-netwerk van Cloudflare voor directe laadtijden wereldwijd
- Client-side evaluatie: parsing, waarheidstabellen en boomweergave gebeuren volledig in de browser — er verlaat geen data het apparaat van de gebruiker
- Typeveilige basis: TypeScript door parser, evaluator en UI heen voor voorspelbaar gedrag
- Uitgebreide tests: Jest voor unit tests, Playwright voor end-to-end-dekking en Lighthouse CI die elke release bewaakt op 90+ performance
- Toegankelijkheid: WCAG-conform met volledige toetsenbordnavigatie, labels voor schermlezers en hoogcontrastmodus
- Standaard responsive: geoptimaliseerd voor desktop, tablet en mobiel — net zo bruikbaar in een collegezaal als op een telefoon
Resultaten
Logic Calculator is een betrouwbare klasgenoot geworden:
- beschikbaar in 19 talen en bereikt daarmee het merendeel van de studenten wereldwijd
- gebruikt in universitaire cursussen logica en discrete wiskunde
- consistente Lighthouse-scores boven de 90 op performance, toegankelijkheid en SEO
- privacyvriendelijk by design — er verlaat niets de browser
Toekomstige richtingen
De tool blijft doorgroeien:
- predicatenlogica (eerste orde) met kwantoren
- interactieve constructie van natuurlijke deductiebewijzen
- verklaringen van transformaties in natuurlijke taal
- LMS-integraties voor opdrachten en inleveringen
Logic Calculator laat zien hoe een gefocuste, doordachte webapp een abstract vak kan veranderen in iets dat studenten kunnen verkennen, visualiseren en echt begrijpen.