Costruisci tavole di verità per espressioni booleane (AND, OR, NOT, XOR, implicazione, doppia implicazione) e verifica se due espressioni sono equivalenti.
Vai allo strumento interattivo ↓Ogni operatore mette in relazione due (o una) affermazioni che possono essere solo Vere (V) o False (F). Qui sotto la tavola di verità di ciascuno, con un esempio per renderlo intuitivo. Sono gli stessi 6 operatori che puoi usare nello strumento qui sotto.
| p | ¬p |
|---|---|
| V | F |
| F | V |
Inverte il valore di verità: vera quando l'affermazione originale è falsa, e viceversa.
💬 "Non sto dormendo" è vera esattamente quando "Sto dormendo" è falsa.
| p | q | p∧q |
|---|---|---|
| V | V | V |
| V | F | F |
| F | V | F |
| F | F | F |
Vera solo se entrambe le affermazioni sono vere.
💬 "Ho la patente E ho l'auto": posso guidare solo se entrambe sono vere.
| p | q | p∨q |
|---|---|---|
| V | V | V |
| V | F | V |
| F | V | V |
| F | F | F |
Vera se almeno una delle due affermazioni è vera (anche entrambe).
💬 "Sconto se sei studente O hai più di 65 anni": basta una sola condizione.
| p | q | p⊕q |
|---|---|---|
| V | V | F |
| V | F | V |
| F | V | V |
| F | F | F |
Vera quando le due affermazioni hanno valori diversi — l'una o l'altra, ma non entrambe.
💬 "Vado al mare O in montagna" (non posso fare entrambe le cose nello stesso giorno).
| p | q | p→q |
|---|---|---|
| V | V | V |
| V | F | F |
| F | V | V |
| F | F | V |
Falsa solo nel caso in cui la premessa è vera ma la conseguenza è falsa.
💬 "Se piove, porto l'ombrello": l'unica situazione che rende falsa la promessa è piove + non porto l'ombrello.
| p | q | p↔q |
|---|---|---|
| V | V | V |
| V | F | F |
| F | V | F |
| F | F | V |
Vera quando le due affermazioni hanno lo stesso valore di verità (entrambe vere o entrambe false).
💬 "Il semaforo è verde se e solo se posso passare": coerenti, o entrambe vere o entrambe false.
Scrivi un'espressione e clicca
Costruisci tabella di verità