Tavola di verità di ((A∨B)∧¬(A∧B))
((A∨B)∧¬(A∧B))
Proprietà: Contingente
| A | B | (A∨B) | (A∧B) | ¬(A∧B) | ((A∨B)∧¬(A∧B)) |
|---|---|---|---|---|---|
| Falso | Falso | Falso | Falso | Vero | Falso |
| Vero | Falso | Vero | Falso | Vero | Vero |
| Falso | Vero | Vero | Falso | Vero | Vero |
| Vero | Vero | Vero | Vero | Falso | Falso |
Ogni colonna tra le variabili e il risultato calcola un connettivo, così la formula si costruisce un passo alla volta.
Prova nella CalcolatriceGeneratore di tavole di veritàCostruisci la tavola di una tua formula qualsiasi, con le proprietà, le forme equivalenti e la mappa di Karnaugh accanto.Altre tavole di verità
Domande frequenti
Trova le risposte alle domande più comuni sull'uso del Calcolatore Logico
Come creo una tavola di verità per la mia espressione?
Basta inserire l'espressione logica nel campo del calcolatore e fare clic su calcola. La tavola di verità viene generata automaticamente e mostra tutte le combinazioni possibili dei valori delle variabili e il risultato corrispondente della tua espressione.
In che ordine sono le righe?
Le variabili sono elencate in ordine alfabetico e le righe scorrono tutte le assegnazioni partendo da «tutte false», con la prima variabile che cambia più rapidamente, così l'ultima riga è quella in cui ogni variabile è vera. I manuali qui non concordano — molti partono invece da «tutte vere» — quindi le righe possono comparire in un ordine diverso dai tuoi appunti pur dicendo esattamente la stessa cosa.
Quante righe avrà la mia tavola di verità?
Due elevato al numero di variabili distinte: tre variabili danno otto righe, quattro ne danno sedici, dieci ne danno 1.024. Ogni variabile aggiunta raddoppia la tavola, ed è per questo che una formula lunga si valuta di solito meglio dalle proprietà e dalle forme equivalenti che leggendo ogni riga.
Posso mostrare 1 e 0 invece di ⊤ e ⊥?
Sì. Il selettore di notazione sulla tavola di verità alterna tra i simboli ⊤ e ⊥ e le cifre 1 e 0, e la tua scelta viene ricordata in questo browser per la volta successiva.
Come capisco da una tavola di verità se una formula è una tautologia?
Leggi l'ultima colonna. Se tutte le righe sono vere la formula è una tautologia; se sono tutte false è una contraddizione; se la colonna contiene entrambe è contingente. È soddisfacibile non appena una riga è vera. Il calcolatore dichiara tutto questo sopra la tavola, quindi la colonna serve più a controllare il verdetto che a ricavarlo.