Differenze tra le versioni di "Tabella della verità"

m
Bot: fix citazione web (v. discussione)
m (Annullate le modifiche di 87.9.34.67 (discussione), riportata alla versione precedente di Phantomas)
m (Bot: fix citazione web (v. discussione))
Le tabelle di verità applicate alla logica classica (cioè a quella ''binaria'') sono limitate alla [[logica booleana]], dove sono ammessi soltanto due valori, '''vero''' (indicato anche con "1") e '''falso''' (indicato con "0").
 
Ad esempio la seguente tabella rappresenta la funzione booleana '''V = XY + XZ + YZ = X AND Y OR X AND Z OR Y AND Z''' esprimibile anche come <math> v = (x \wedge y) \vee (x \wedge z) \vee (y \wedge z) </math>
 
{| class="wikitable"
La relazione di negazione [[Negazione logica (simbolo)|NOT]] (<span style="border-top:1px solid black">&nbsp;&nbsp;</span>) è un [[connettivo logico]], attraverso il quale, a partire da una [[proposizione (logica)|proposizione]] ''A'' si forma una nuova proposizione chiamata ''negazione di A'' <math>\overline A</math> la quale è vera quando ''A'' è falsa, ed è falsa quando ''A'' è vera.
La relazione è così definita:
 
 
{| class="wikitable" style="margin:auto;clear:both;"
:→ = [[implicazione|"se-allora" (implicazione logica)]]
:← = "(allora)-se" (controimplicazione logica)
:<↔>: [[Se e solo se|se e soltanto se]] è logicamente equivalente a <<span style="text-decoration: underline">∨</span>>: [[Algebra di Boole#XNOR|XNOR]] (NOR esclusivo).
 
I [[diagrammi di Johnston]], simili ai [[Diagramma di Venn|diagrammi di Eulero-Venn]], forniscono un metodo di visualizzazione della tabella della verità. Un diagramma di Johnston interattivo, mostrante le tabelle della verità, è reperibile [http://logictutorial.com qui].
 
== Collegamenti esterni ==
* [{{cita web|http://turner.faculty.swau.edu/mathematics/materialslibrary/truth/ |Generatore di tabelle di verità]}}
* [{{cita web|http://sourceforge.net/projects/circuit/ |Logisim - circuiti e tavole di verità] }}
{{Connettivi logici}}
{{Controllo di autorità}}
2 871 353

contributi