Tabella della verità: differenze tra le versioni

{{Avvisounicode}}

Le '''tabelle della verità''' (o tabelle logiche) sono tabelle 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''.