Verificatore di Equivalenza Logica

Il Verificatore di Equivalenza Logica determina se due espressioni booleane producono gli stessi risultati per tutte le assegnazioni possibili delle variabili. Supporta operatori comuni (AND, OR, NOT, IMPLIES, XOR) e parentesi annidate; le espressioni sono analizzate in una rappresentazione interna canonica. Lo strumento enumera tutte le assegnazioni di verità possibili, valuta entrambe le espressioni e confronta gli output per decidere l'equivalenza. Quando le espressioni non sono equivalenti, restituisce un assegnazione concreta che le distingue e può fornire passaggi di dimostrazione opzionali o forme semplificate per facilitare la comprensione. Concettualmente, questo strumento astragga la logica proposizionale in una valutazione a stato finito, evitando la completa dimostrazione teorica, fornendo però una verifica deterministica adatta all'istruzione, ai test e alla validazione iniziale del design. Il valore unico risiede in risultati immediati e spiegabili senza installazione e nella possibilità di esportare o riutilizzare controesempi in rapporti o test. Le funzionalità chiave includono rilevamento automatico delle variabili, valutazione esaustiva, normalizzazione opzionale in CNF/DNF e reporting configurabile dei risultati e delle forme intermedie. Casi d'uso tipici: convalida dei compiti, verifica di componenti logici nel software e valutazioni rapide per corsi di logica. Gli utenti beneficiano di risultati riproducibili, controesempi chiari e capacità di integrare i risultati in flussi di lavoro automatizzati.