Tabella della verità: differenze tra le versioni
Contenuto cancellato Contenuto aggiunto
m Annullate le modifiche di 87.9.34.67 (discussione), riportata alla versione precedente di Phantomas |
m Bot: fix citazione web (v. discussione) |
||
Riga 11:
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"
Riga 37:
La relazione di negazione [[Negazione logica (simbolo)|NOT]] (<span style="border-top:1px solid black"> </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;"
Line 135 ⟶ 134:
:→ = [[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].
Line 181 ⟶ 180:
== Collegamenti esterni ==
*
*
{{Connettivi logici}}
{{Controllo di autorità}}
| |||