Una tabella di verità è una tabella matematica utilizzata in logica e può essere utilizzata per vedere se una proposizione logica è vera per qualsiasi valore di input. Le tabelle della verità vengono utilizzate principalmente in relazione all'algebra booleana, alle funzioni booleane e al calcolo proposizionale. Una tabella di verità ha una colonna per ogni variabile di input, ad es. A e B e una riga per ogni possibile combinazione delle variabili di input vere e false. Vengono poi aggiunte altre colonne per ogni operatore logico come “And”, “Or” e “XOR” ei risultati di questi operatori per ogni combinazione di input.
Technipages spiega la tabella della verità
Al filosofo austriaco Ludwig Wittgenstein è generalmente attribuita l'invenzione e la divulgazione della tavola della verità in un libro pubblicato nel 1921, anche se è stato scoperto che un altro filosofo Charles Sanders Peirce li ha inventati nel 1893 in un manoscritto che non è mai stato pubblicato.
Ci sono 16 possibili operazioni che possono essere eseguite su due variabili vere o false. Queste operazioni sono: Contraddizione – questo è sempre falso; Logico NOR – vero solo quando né A né B sono vere; Non implicazione inversa: è vera dove B è vero e A è falso; Negazione: è vera solo quando A è falsa, indipendentemente dal valore di B; Non implicazione materiale: è vera quando A è e B non lo è; Negazione – Disgiunzione esclusiva; NAND logica; Congiunzione logica; Bicondizionale logico; Funzione di proiezione; Implicazione materiale; Funzione di proiezione; implicazione conversa; Disgiunzione logica e tautologia.
Ognuno di loro ha i propri usi e scopi, ovviamente, ma hanno una cosa in comune: vengono eseguiti con l'uso di una o due variabili vero/falso. A causa della natura semplice (se non di facile comprensione) di queste variabili e operazioni, è possibile suddividere le operazioni complicate in un piccolo insieme di elementi: valori vero/falso e quanto sopra operazioni.
Usi comuni della tavola della verità
- Una tabella di verità è una tabella matematica utilizzata in logica.
- Ogni riga della tabella di verità contiene una possibile configurazione delle variabili di input.
- Le tabelle della verità possono essere utilizzate per dimostrare le equivalenze logiche.
Tabella degli abusi comuni della verità
- Le tabelle della verità controllano se i dati in una tabella o in un database sono corretti.