Generatore di Tabella di Verità
Genera tabelle di verità per qualsiasi espressione logica booleana. Supporta AND, OR, NOT, XOR, NAND, NOR, XNOR e operatori condizionali. Visualizza le porte logiche con valutazione animata.
Il tuo ad blocker ci impedisce di mostrare annunci
MiniWebtool è gratuito grazie agli annunci. Se questo strumento ti è stato utile, sostienici con Premium (senza annunci + più veloce) oppure inserisci MiniWebtool.com nella whitelist e ricarica la pagina.
- Oppure passa a Premium (senza annunci)
- Consenti gli annunci per MiniWebtool.com, poi ricarica
Generatore di Tabella di Verità
Cos'è una Tabella di Verità?
Una tabella di verità è un modo sistematico per elencare tutti i possibili valori di verità di un'espressione logica. Per ogni combinazione di valori delle variabili di input (Vero o Falso), la tabella mostra l'output risultante dell'espressione. Le tabelle di verità sono fondamentali in:
- Progettazione di Logica Digitale — progettazione di circuiti con porte AND, OR, NOT
- Informatica — valutazione di espressioni condizionali e algebra booleana
- Filosofia e Matematica — prove formali nella logica proposizionale
- Ingegneria del Software — test di tutti i rami della logica condizionale
Come Usare Questo Generatore di Tabella di Verità
Inserisci un'espressione booleana utilizzando variabili (A-H) e operatori logici. Lo strumento rileverà automaticamente le tue variabili e genererà la tabella di verità completa mostrando tutte le possibili combinazioni di input/output.
- Usa singole lettere maiuscole (A, B, C, ..., H) come variabili — fino a 8 variabili supportate
- Usa le parentesi ( ) per controllare la precedenza degli operatori
- Clicca sui pulsanti degli operatori o digita direttamente gli operatori
- Attiva "Mostra sotto-espressioni" per vedere i passaggi intermedi del calcolo
Precedenza degli Operatori (Dalla più Alta alla più Bassa)
Quando non vengono utilizzate parentesi, gli operatori vengono valutati in questo ordine:
- NOT (!, ~, ¬) — valutato per primo (precedenza massima)
- AND (&&, &, ∧) — valutato per secondo
- NAND — valutato per terzo
- XOR, XNOR (^, ⊕, ⊙) — valutato per quarto
- OR (||, |, ∨) — valutato per quinto
- NOR — valutato per sesto
- IMPLIES (→, =>) — valutato per settimo
- BICONDITIONAL / IFF (↔, <=>) — valutato per ultimo (precedenza minima)
Sintassi degli Operatori Supportati
| Operatore | Sintassi Accettata | Descrizione | Esempio |
|---|---|---|---|
| AND | AND, &&, &, ∧, · | Vero solo quando entrambi gli operandi sono veri | A AND B |
| OR | OR, ||, |, ∨, + | Vero quando almeno un operando è vero | A OR B |
| NOT | NOT, !, ~, ¬ | Inverte il valore di verità | NOT A |
| XOR | XOR, ^, ⊕ | Vero quando gli operandi sono diversi | A XOR B |
| NAND | NAND | Negazione di AND | A NAND B |
| NOR | NOR | Negazione di OR | A NOR B |
| XNOR | XNOR, ⊙ | Vero quando gli operandi sono uguali | A XNOR B |
| IMPLIES | →, =>, IMPLIES | Falso solo quando P è vero e Q è falso | A → B |
| BICONDITIONAL | ↔, <=>, IFF | Vero quando entrambi hanno lo stesso valore | A ↔ B |
Comprendere i Mintermini e i Maxtermini
I Mintermini sono le righe in cui l'output è 1 (Vero). La Somma dei Prodotti (SOP) esprime la funzione come un OR di termini AND. I Maxtermini sono le righe in cui l'output è 0 (Falso). Il Prodotto delle Somme (POS) esprime la funzione come un AND di termini OR. Entrambe le forme sono essenziali nella semplificazione della logica digitale e nell'analisi delle mappe di Karnaugh.
Cita questo contenuto, pagina o strumento come:
"Generatore di Tabella di Verità" su https://MiniWebtool.com/it// di MiniWebtool, https://MiniWebtool.com/
Il Generatore di Tabella di Verità utilizza le regole standard dell'algebra booleana. Per ulteriori informazioni, consultare Tabella della verità - Wikipedia.
Puoi anche provare il nostro Risolutore di Matematica AI GPT per risolvere i tuoi problemi matematici attraverso domande e risposte in linguaggio naturale.