Convertitore di espressioni booleane online
Converti espressioni booleane in tabella di verità, DNF e CNF. Supporta NOT, AND, OR e parentesi. Analisi locale, fino a 6 variabili. L’elaborazione avviene…
Inizia a usare
Come funziona il convertitore di espressioni booleane
Il convertitore booleano ti aiuta a capire il comportamento di un'espressione logica. Inserisci un'espressione come A && (B || !C) e ottieni la tabella di verità completa, insieme alle forme canoniche DNF e CNF. Questo è utile per verificare circuiti logici, semplificare condizioni o studiare la logica booleana.
Esempio concreto
Per l'input A && (B || !C), il tool produce una tabella di verità con 8 righe (3 variabili). Le righe in cui l'espressione è vera sono quelle con A=1, B=1, C=0 (110), A=1, B=1, C=1 (111) e A=1, B=0, C=0 (100). La DNF inizia con (A && !B && !C) || (A && B && !C) || (A && B && C).
Elaborazione locale e limiti
Tutta l'analisi avviene nel browser: nessun dato viene inviato a server. Il tool supporta al massimo sei variabili distinte, producendo fino a 64 righe di tabella. Non supporta XOR, implicazione, equivalenza, costanti numeriche 0/1, diagrammi di circuito o più di sei variabili. La sintassi non valida o caratteri non supportati vengono rifiutati con un messaggio di errore.
Domande frequenti
Come interpreto la tabella di verità?
Ogni riga rappresenta una combinazione di valori di verità per le variabili (false/true). L'ultima colonna mostra il risultato dell'espressione per quella combinazione. Le variabili sono ordinate in modo che false venga prima di true, e l'ultima variabile cambia più rapidamente.
Perché ottengo un errore con più di sei variabili?
Il tool è progettato per gestire al massimo sei variabili distinte, perché il numero di righe della tabella cresce esponenzialmente (2^n). Con più di sei variabili, la tabella diventerebbe troppo grande e il tool segnala un errore invece di elaborare parzialmente l'espressione.
Le forme DNF e CNF sono semplificate?
No, il convertitore restituisce le forme canoniche complete (somma di mintermini e prodotto di maxtermini) senza semplificazione algebrica. Per semplificare, puoi usare il tool separato per le mappe di Karnaugh.
Checklist per l'uso
- Usa solo variabili con lettere ASCII (A-Z, a-z).
- Usa gli operatori supportati: ! o NOT, && o AND, || o OR.
- Usa parentesi per raggruppare le sottoespressioni.
- Le costanti true/false sono accettate (case-insensitive).
- Non usare XOR, implicazione, equivalenza o numeri 0/1.
- Non superare sei variabili distinte.
L’elaborazione avviene localmente nel browser.