Una tabla de verdad, o tabla de valores de verdad, es una tabla que muestra el valor de verdad de

una proposicin compuesta, para cada combinacin de verdad que se pueda asignar. Fue
desarrollada por Charles Sanders Peirce por los aos 1880, pero el formato ms popular es el que
introdujo Ludwig Wittgenstein en su Tractatus logico-philosophicus, publicado en 1921.
Definiciones en el clculo lgico
Para establecer un Sistema formal se establecen las definiciones de los operadores. Las
definiciones se harn en funcin del fin que se pretenda al construir el sistema que haga posible la
formalizacin de argumentos:
Como razonamientos deductivos lgico-lingsticos
Como construccin de un sistema matemtico puro
Como una aplicacin lgica en un Circuito de conmutacin.
Verdadero
El valor verdadero se representa con la letra V; si se emplea notacin numrica se expresa con un
uno: 1; en un circuito elctrico, el circuito est cerrado.
Falso
El valor falso se representa con la letra F; si se emplea notacin numrica se expresa con un cero:
0; en un circuito elctrico, el circuito est abierto.
Variable
Para una variable lgica A, B, C, ... que pueden ser verdaderas V, o falsas F, los operadores
fundamentales se definen as:

Negacin
La negacin es un operador que se ejecuta, sobre un nico valor de verdad, devolviendo el valor
contradictorio de la proposicin considerada.


Conjuncin
La conjuncin es un operador que opera sobre dos valores de verdad, tpicamente los valores de
verdad de dos proposiciones, devolviendo el valor de verdad verdadero cuando ambas
proposiciones son verdaderas, y falso en cualquier otro caso. Es decir es verdadera cuando ambas
son verdaderas
La tabla de verdad de la conjuncin es la siguiente:

Que se corresponde con la columna 8 del algoritmo fundamental.
Disyuncin
La disyuncin es un operador que opera sobre dos valores de verdad, tpicamente los valores de
verdad de dos proposiciones, devolviendo el valor de verdad verdadero cuando una de las
proposiciones es verdadera, o cuando ambas lo son, y falso cuando ambas son falsas.
La tabla de verdad de la disyuncin es la siguiente:

Que se corresponde con la columna 2 del algoritmo fundamental.






Implicacin o Condicional
El condicional material es un operador que opera sobre dos valores de verdad, tpicamente los
valores de verdad de dos proposiciones, devolviendo el valor de falso slo cuando la primera
proposicin es verdadera y la segunda falsa, y verdadero en cualquier otro caso.
La tabla de verdad del condicional material es la siguiente:

Que se corresponde con la columna 5 del algoritmo fundamental.

Equivalencia, doble implicacin o Bicondicional
El bicondicional o doble implicacin es un operador que funciona sobre dos valores de verdad,
tpicamente los valores de verdad de dos proposiciones, devolviendo el valor de verdad verdadero
cuando ambas proposiciones tienen el mismo valor de verdad, y falso cuando sus valores de
verdad diferente.
La tabla de verdad del bicondicional es la siguiente:

Que se corresponde con la columna 7 del algoritmo fundamental.





Tablas de verdad
Las tablas nos manifiestan los posibles valores de verdad de cualquier proposicin molecular, as
como el anlisis de la misma en funcin de las proposicones que la integran, encontrndonos con
los siguientes casos:
Verdad Indeterminada o Contingencia

Se entiende por verdad contingente, o verdad de hecho, aquella proposicin que puede ser
verdadera o falsa, segn los valores de las proposiciones que la integran. Sea el caso:

Su tabla de verdad se construye de la siguiente manera:
Ocho filas que responden a los casos posibles que pueden darse segn el valor V o F de cada una
de las proposiciones A, B, C. (Columnas 1, 2, 3)
Una columna (Columna 4) en la que se establecen los valores de aplicando la definicin
del disyuntor a los valores de B y de C en cada una de las filas.(Columnas 2,3 4)
Una columna (columna 5) en la que se establecen los valores resultantes de aplicar la definicin de
la conjuncin entre los valores de A (columna 1) y valores de la columna , (columna 4)
que representarn los valores de la proposicin completa , cuyo valor de verdad
es V o F segn la fila de los valores de A, B, y C que consideremos. (Columnas 1,4 5)
Donde podemos comprobar cundo y por qu la proposicin es V y cundo es F.



Contradiccin
Se entiende por proposicin contradictoria, o contradiccin, aquella proposicin que en todos los
casos posibles de su tabla de verdad su valor siempre es F. Dicho de otra forma, su valor F no
depende de los valores de verdad de las proposiciones que la forman, sino de la forma en que
estn establecidas las relaciones sintcticas de unas con otras. Sea el caso:

Procederemos de manera similar al caso anterior. Partiendo de la variable A y su contradiccin, la
conjuncin de ambos siempre es falso, dado que si A es verdad su contradiccin es falsa, y si A es
falsa su contradiccin es verdad, la conjuncin de ambas da falso en todos los casos.
Tautologas
Se entiende por proposicin tautolgica, o tautologa, aquella proposicin que en todos los casos
posibles de su tabla de verdad su valor siempre es V. Dicho de otra forma, su valor V no depende
de los valores de verdad de las proposiciones que la forman, sino de la forma en que estn
establecidas las relaciones sintcticas de unas con otras. Sea el caso:

Siguiendo la mecnica algortmica de la tabla anterior construiremos su tabla de verdad, tenemos
la variable A en disyuncin con su contradiccin, si A es verdad, su negacin es falsa y si A es falsa
su negacin es verdad, en cualquier caso una de las dos alternativas es cierta, y su disyuncin es
cierta en todos los casos.
Tablas de verdad, proposiciones lgicas y argumentos deductivos
En realidad toda la lgica est contenida en las tablas de verdad, en ellas se nos manifesta todo lo
que implican las relaciones sintcticas entre las diversas proposiciones.
No obstante la sencillez del algoritmo, aparecen dos dificultades.
La gran cantidad de operaciones que hay que hacer para una proposicin con ms de 4 variables.
Esta dificultad ha sido magnficamente superada por la rapidez de los ordenadores, y no presenta
dificultad alguna.
Que nicamente ser aplicable a un esquema de inferencia, o argumento cuando la proposicin
condicionada, como conclusin, sea previamente conocida, al menos como hiptesis, hasta
comprobar que su tabla de verdad manifiesta una tautologa.
Por ello se construye un clculo mediante cadenas deductivas:
Las proposiciones que constituyen el antecedente del esquema de inferencia, se toman como
premisas de un argumento.
Se establecen como reglas de clculo algunas tautologas como tales leyes lgicas, (pues
garantizan, por su carcter tautolgico, el valor V).
Se permite la aplicacin de dichas reglas como reglas de sustitucin de frmulas bien formadas en
las relaciones que puedan establecerse entre dichas premisas.
Deduciendo mediante su aplicacin, como teoremas, todas las conclusiones posibles que haya
contenidas en las premisas.
Cuando en un clculo se establecen algunas leyes como principios o axiomas, el clculo se dice que
es axiomtico.
El clculo lgico as puede utilizarse como demostracin argumentativa.
Aplicaciones
Clculo lgico
La aplicacin fundamental se hace cuando se construye un sistema lgico que modeliza el lenguaje
natural sometindolo a unas reglas de formalizacin del lenguaje. Su aplicacin puede verse en el
clculo lgico.
Lgica de circuitos
Puertas lgicas para circuitos elctricos
Una aplicacin importante de las tablas de verdad procede del hecho de que, interpretando los
valores lgicos de verdad como 1 y 0 (lgica positiva) en el sentido que
valor "1" permite el paso de corriente elctrica; y
valor "0" corta el paso de dicha corriente.
Los valores de entrada o no entrada de corriente a travs de un diodo pueden producir una salida
0 1 segn las condiciones definidas como funcin segn las tablas mostradas anteriormente.
As se establecen las algunas funciones bsicas: AND, NAND, OR, NOR, XOR, XNOR (o NXOR), que
se corresponden con las funciones definidas en las columnas 8, 9, 2, 15, 10 y 7 respectivamente, y
la funcin NOT.
En lugar de variables proposicionales, considerando las posibles entradas como EA y EB, podemos
armar una tabla anloga de 16 funciones como la presentada arriba, con sus equivalentes en
lgica de circuitos.
EA EB Verdad EA OR EB EA OR NOT (EB) BUFFER EA NOT(EA) OR EB BUFFER EB
EA XNOR EB EA AND EB EA NAND EB EA XOR EB NOT EB EA AND NOT(EB)
NOT(EA) NOT(EA) AND EB NOR Falso
A\,\! B\,\! V\,\! A+B\,\! A+\overline{B} A\,\! \overline{A}+B B\,\! \overline{A\oplus
B} A\cdot B \overline{A\cdot B} A\oplus B \overline{B} A\cdot\overline{B}
\overline{A} \overline{A}\cdot B \overline{A+B} F\,\!
1 1 1 1 1 1 1 1 1 1 0 0 0
0 0 0 0 0
1 0 1 1 1 1 0 0 0 0 1 1 1
1 0 0 0 0
0 1 1 1 0 0 1 1 0 0 1 1 0
0 1 1 0 0
0 0 1 0 1 0 1 0 1 0 1 0 1
0 1 0 1 0
Esta aplicacin hace posible la construccin de aparatos capaces de realizar estas computaciones a
alta velocidad, y la construccin de circuitos que utilizan este tipo de anlisis se hace por medio de
puertas lgicas.
La Tabla de la verdad es una herramienta imprescindible en la recuperacin de datos en las bases
de datos como Internet con los motores de bsqueda o en una biblioteca con sus ficheros
informatizados. As mismo se utilizan para programar simulaciones lgicas de inteligencia artificial
con lenguajes propios. Tambin en modelos matemticos predictores: meteorologa, marketing y
otros muchos.











Desarrollo del algoritmo fundamental en lgica de circuitos
La definicin de la tabla de verdad corresponde a funciones concretas, en cada caso, as como a
implementaciones en cada una de las tecnologas que pueden representar funciones lgicas en
binario, como las puertas lgicas o los circuitos de conmutacin. Se entender como verdad la
conexin que da paso a la corriente; en caso contrario se entender como falso. Veamos la
presentacin de los diecisis casos que se presentan con dos variables binarias A y B: