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

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.