Logic Calculator

Logic Calculator: Rendere la logica accessibile

Panoramica del progetto

Logic Calculator è un'applicazione web didattica dedicata alla logica proposizionale e all'algebra booleana. Analizza e valuta le espressioni logiche, genera tabelle di verità complete, rappresenta la struttura delle espressioni come un albero interattivo e determina soddisfacibilità, validità ed equivalenza — trasformando un formalismo astratto in uno strumento che studenti e docenti possono esplorare con feedback immediato.

La sfida

La logica proposizionale è il fondamento della matematica, dell'informatica e della filosofia, ma il passaggio dagli esercizi sulla carta a una vera intuizione è difficile. Volevamo uno strumento in grado di:

• analizzare espressioni complesse con gli operatori standard NOT, AND, OR, IF e IFF
• produrre istantaneamente tabelle di verità e analisi strutturali
• spiegare perché una formula è una tautologia, una contraddizione o una contingenza — non solo classificarla
• funzionare completamente offline su qualsiasi dispositivo, nella lingua dello studente
• essere abbastanza rapido e accessibile da poter essere usato dal vivo durante una lezione

La nostra soluzione

Logic Calculator unisce un motore di espressioni e un insieme di strumenti analitici in un'unica interfaccia mirata:

• Valutazione di espressioni: analizza e valuta formule complesse con !, &, |, -> e <->
• Generatore di tabelle di verità: tabelle di verità automatiche e complete per qualsiasi formula
• Albero delle espressioni: rappresentazione visiva interattiva di come l'espressione viene analizzata
• Soddisfacibilità e validità: classifica le formule come tautologie, contraddizioni o contingenze
• Test di equivalenza: confronta due espressioni per verificarne l'equivalenza semantica
• 19 lingue: interfaccia completamente localizzata, tra cui inglese, spagnolo, francese, tedesco, italiano, portoghese, cinese, giapponese, coreano, hindi, bengali, vietnamita, arabo, russo, turco, olandese, svedese, norvegese e danese

Implementazione tecnica

L'applicazione è progettata per velocità, privacy e portata globale:

• Export statico Next.js 15: pagine pre-renderizzate distribuite sulla rete edge di Cloudflare per caricamenti istantanei in qualsiasi parte del mondo
• Valutazione lato client: parsing, tabelle di verità e rendering dell'albero avvengono interamente nel browser — nessun dato lascia il dispositivo dell'utente
• Base tipizzata: TypeScript lungo parser, valutatore e UI per un comportamento prevedibile
• Test completi: Jest per i test unitari, Playwright per la copertura end-to-end e Lighthouse CI che garantisce performance superiori a 90 a ogni release
• Accessibilità: conforme a WCAG con navigazione da tastiera completa, etichette per screen reader e supporto al contrasto elevato
• Responsive di default: ottimizzata per desktop, tablet e mobile — altrettanto utilizzabile in un'aula magna come su un telefono

Risultati

Logic Calculator è diventato un compagno affidabile in aula:

• disponibile in 19 lingue, raggiungendo la maggior parte degli studenti del mondo
• utilizzato in corsi universitari di logica e matematica discreta
• punteggi Lighthouse costantemente superiori a 90 per performance, accessibilità e SEO
• rispettoso della privacy per impostazione predefinita — nulla lascia il browser

Direzioni future

Lo strumento continua a crescere:

• logica dei predicati (del primo ordine) con quantificatori
• costruzione interattiva di dimostrazioni per deduzione naturale
• spiegazioni delle trasformazioni in linguaggio naturale
• integrazioni LMS per compiti e consegne

Logic Calculator mostra come un'applicazione web mirata e ben progettata possa trasformare una materia astratta in qualcosa che gli studenti possono esplorare, visualizzare e comprendere davvero.