Tabella della verità: differenze tra le versioni

Le '''tabelle della verità''' (o tabelle logiche) sono [[matematica|tabelle matematiche]] usate nella [[logica]] per determinare se, attribuiti i valori di verità alle proposizioni che la compongono, una determinata [[proposizione (logica)|proposizione]] è vera o falsa. La tabella di verità quindi si applica a qualsiasi operatore logico vero-funzionale, vale a dire in cui le condizioni di verità o falsità di qualunque enunciato che si ottiene applicando quell’operatore è determinato interamente ed esclusivamente da quelle degli enunciati più semplici a cui si applica.

Utilizzate come principale rappresentazione di una [[funzione booleana]], le espressioni possono essere costrutti formati da più espressioni, in cui all'inizio compare una ''premessa'', ed alla fine una ''conclusione''.