Convertitore online da tabella di verità a espressione logica
Converti una tabella di verità in espressione booleana: inserisci variabili e mintermini, ottieni la forma normale disgiuntiva canonica.
Inizia a usare
Come funziona il convertitore da tabella di verità a espressione
Questo strumento trasforma una tabella di verità in un'espressione booleana. Inserisci le variabili e gli indici delle righe con output 1; lo strumento genera la somma di mintermini completa.
Esempio concreto
Con variabili A,B e mintermini 1,2, l'output è (!A && B) || (A && !B). Questo corrisponde alla tabella di verità dove le righe 1 e 2 (in binario 01 e 10) hanno risultato 1.
Parametri e limiti
- Numero di variabili: da 1 a 6, separate da virgola.
- Indici di mintermine: da 0 a 2^n - 1, separati da virgola.
- L'output è in forma normale disgiuntiva canonica, non minimizzata.
- Non sono supportate righe don't-care, né generazione di CNF/POS, né disegno di circuiti.
- La prima variabile è il bit più significativo del mintermine.
Domande frequenti
Posso inserire più di 6 variabili?
No, lo strumento accetta al massimo 6 variabili univoche.
Come vengono gestiti gli indici duplicati?
Gli indici duplicati vengono rimossi automaticamente; non influenzano il risultato.
Perché l'output non è minimizzato?
Questo strumento genera la forma canonica completa. Per un'espressione minimizzata, usa lo strumento Mappa di Karnaugh.
Gli indici dei mintermini duplicati vengono considerati una sola volta, nell’ordine della prima occorrenza. AND, OR, NOT, true e false sono nomi riservati, senza distinzione tra maiuscole e minuscole. Ogni campo accetta al massimo 500.000 unità di codice UTF-16; lo stesso limite si applica all’espressione generata. Usa nomi brevi, perché ogni riga selezionata ripete tutte le variabili. L’espressione non viene minimizzata. Lo strumento K-map di questo sito supporta al massimo quattro variabili.
L’elaborazione avviene localmente nel browser.