Generatore di tabelle di verità

  1. Ingresso
  2. Opzioni
  3. Risultato

Generatore di tabelle di verità

Costruisci ed esplora tabelle di verità con pulsanti operatore, esempi, classificazione di formule, canonici DNF e CNF, minterm ed esportazioni.

Costruisci una tabella della verità

Immettere un'espressione booleana o assemblarla con i pulsanti dell'operatore.

Il confronto facoltativo utilizza l'unione di variabili (fino a 8) ed evidenzia controesempi. Modifica gli input, quindi crea la tabella per aggiornare il risultato. Ogni espressione è limitata a 2000 caratteri.

Operatori di espressioni logiche

È inoltre possibile digitare NOT, AND, OR, XOR, NAND, NOR, IMPLIES e IFF.

Esempi rapidi

L'espressione viene valutata localmente nel tuo browser.

Espressione analizzata
(A ∧ B) → C
Formula logica contingente
Variabili
A, B, C
Combinazioni
8
Righe con risultato 1
7
Righe con risultato 0
1

Tavola di verità booleana

PDF / Stampa: Tutto (8)

#
A
B
C
Risultato
0
0
0
0
1
1
0
0
1
1
2
0
1
0
1
3
0
1
1
1
4
1
0
0
1
5
1
0
1
1
6
1
1
0
0
7
1
1
1
1

Forme booleane canoniche

Canonical DNF è creato dalle righe della tabella con risultato 1; canonical CNF viene creato dalle righe della tabella con risultato 0.

Forma normale disgiuntiva canonica (DNF)
(¬A ∧ ¬B ∧ ¬C) ∨ (¬A ∧ ¬B ∧ C) ∨ (¬A ∧ B ∧ ¬C) ∨ (¬A ∧ B ∧ C) ∨ (A ∧ ¬B ∧ ¬C) ∨ (A ∧ ¬B ∧ C) ∨ (A ∧ B ∧ C)
Forma normale congiuntiva canonica (CNF)
(¬A ∨ ¬B ∨ C)
Minterm booleani
Σm(0, 1, 2, 3, 4, 5, 7)
Termini massimi booleani
ΠM(6)

Genera tabelle di verità online

Inserisci o assembla un'espressione booleana e controlla ogni combinazione fino a otto variabili con il valore risultante.

Classifica una formula come tautologia, contraddizione o contingenza, filtra le righe ed esporta la tabella insieme ai canonici DNF, CNF, minterms e maxterms.

Avvio rapido

Costruisci una tabella di verità o confronta due espressioni per verificarne l'equivalenza.

  1. Inserisci un'espressione e un confronto facoltativo
  2. Costruisci la tabella per aggiornare il risultato
  3. Esamina i controesempi ed esporta la tabella completa
✓ Lo strumento funziona direttamente nel browser ed è adatto a controlli rapidi senza installare software.
✓ L’input può essere cancellato e ricalcolato subito, utile per piccole attività ripetute.
✓ Usa la modalità a schermo intero quando serve più spazio per testi lunghi, dati strutturati o risultati estesi.
✓ I pulsanti di copia permettono di riutilizzare subito il risultato in codice, documenti o chat di supporto.
✓ La maggior parte delle operazioni è deterministica: stessi dati e opzioni producono lo stesso risultato.
✓ Per contenuti sensibili, preferisci strumenti locali nel browser e controlla il risultato prima di condividerlo.

Altri strumenti

Recensioni degli utenti

Le recensioni vengono controllate prima della pubblicazione. Pubblichiamo veri feedback positivi e critiche specifiche. Non vengono pubblicati spam e insulti senza dettagli utili; volgarità e dettagli personali vengono mascherati. I voti positivi vengono conteggiati immediatamente; i voti negativi vengono conteggiati dopo la revisione.

Le recensioni riflettono le esperienze degli utenti, non una garanzia di risultati o una descrizione dei limiti del servizio. Utilizza i pulsanti di valutazione qui sopra per lasciare una recensione.

Ancora nessuna recensione pubblicata in questa lingua.