La tabla de verdad es un instrumento utilizado para la simplificacin de circuitos

digitales a travs de su ecuacin booleana. Todas las tablas de verdad funcionan

de la misma manera sin importar la cantidad de columnas que tenga y todas
tienen siempre una columna de salida (la ltima columna a la derecha) que
representa elresultado de todas las posibles combinaciones de las entradas.
El nmero total de columnas en una tabla de verdad es la suma de las entradas
que hay + 1 (la columna de la salida).

El nmero de filas de la tabla de verdad es la cantidad de combinaciones que se

pueden lograr con las entradas y es igual a 2n, donde el nmero de columnas de
la tabla de verdad (sin tomar en cuenta la columna de salida). Ejemplo: en la
siguiente tabla de verdad hay 3 columnas de entrada, entonces habrn: 2 3 = 8
combinaciones (8 filas)

Tablas 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 valores de
verdad que se pueda asignar a sus componentes.
Origen
Fue desarrollada por Charles Sanders Peirce por los aos 1880, pero el formato
ms popular es el que introdujo Ludwig Wittgenstein en su Tractatus logicophilosophicus, publicado en 1921.
La tabla de los "valores de verdad", es usada en el mbito de la lgica, para
obtener la verdad (V) o falsedad (F), valores de verdad, de una expresin o de una
proposicin. Adems sirven para determinar si es que un determinado esquema
de inferencia es formalmente vlido como un argumento, llegando a la conclusin
de que este es una tautologa (se habla de una tautologa cuando todos los
valores de la tabla mencionada son "V" o sea verdadero).
Qu son las tablas de la verdad
Las tablas de verdad son, por una parte, uno de los mtodos ms sencillos y
conocidos de la lgica formal, pero la mismo tiempo tambin uno de los ms
poderosos y claros. Entender bien las tablas de verdad es, en gran medida,
entender bien a la lgica formal misma.
Fundamentalmente, una tabla de verdad es un dispositivo para demostrar ciertas
propiedades lgicas y semnticas de enunciados del lenguaje natural o de
frmulas del lenguaje del clculo proposicional:
Sin son tautolgicas, contradictorias o contingentes
Cules son sus condiciones de verdad
Cul es su rol inferencial, es decir, cules son sus conclusiones lgicas y de qu
otras proposiciones se siguen lgicamente.
Las tablas de la verdad
Estas tablas pueden construirse haciendo una interpretacin de los signos lgicos
como: no, o, y, sientonces, s y slo si. La interpretacin corresponde al sentido
que estas operaciones tienen dentro del razonamiento.
Puede establecerse una correspondencia entre los resultados de estas tablas y la
deduccin lgico matemtica. En consecuencia, las tablas de verdad constituyen
un mtodo de decisin para chequear si una proposicin es o no un teorema.
Para la construccin de la tabla se asignar el valor 1(uno) a una proposicin
cierta y 0 (cero) a una proposicin falsa.
Negacin: El valor de verdad de la negacin es el contrario de la proposicin
negada.

La conjuncin sirve para indicar que se cumplen dos condiciones

simultneamente, por ejemplo:
P

La funcin es creciente y est definida para los nmeros positivos, utilizamos Para
que la conjuncin p^q sea verdadera las dos expresiones que intervienen deben
ser verdaderas y slo en ese caso como se indica por su tabla de verdad.
Disyuncin: La disyuncin solamente es falsa si lo son sus dos componentes.
P

^Q

Con la disyuncin a diferencia de la conjuncin, se representan dos expresiones

que afirman que una de las dos es verdadera, por lo que basta con que una de
ellas sea verdadera para que la expresin p q sea verdadera.
Condicional: El condicional solamente es falso cuando el antecedente es
verdadero y el consecuente es falso. De la verdad no se puede seguir la falsedad.
P

PVQ

Bicondicional:El bicondicional solamente es cierto si sus componentes tienen el

mismo valor de verdad.
P

PQ

Se denomina tautologa una proposicin que es cierta para cualquier valor de

verdad de sus componentes. Por tanto, la ltima columna de su tabla de verdad
estar formada nicamente por unos.
Contradiccin es la negacin de una tautologa, luego es una proposicin falsa
cualesquiera sea el valor de verdad de sus componentes. La ltima columna de la
tabla de verdad de una contradiccin estar formada nicamente por ceros.
Tablas de verdad trivalentes
Las tablas de verdad tradicionales pueden rescribirse si se dejan vacas casillas
en las que el valor de verdad de la frmula atmica es irrelevante, por ejemplo, la
tabla de la disyuncin:

Disyuncin
Las primeras dos lneas sealan que no importa cul sea el valor de verdad de
uno de los disyuntos, siempre que el otro sea verdadero, la disyuncin ser
verdadera. De la misma manera, se podra abreviar la tabla de la conjuncin de la
siguiente manera:

Conjuncin
Las ltimas dos lneas sealan que no importa cul sea el valor de verdad de uno
de los disyuntos, siempre que el otro sea falso, la conjuncin ser falsa. La ventaja
de este tipo de tablas es que permiten extenderse de manera muy natural para
permitir un tercer valor de verdad que no sea ni verdadera ni falso. Ser llamado
I por indeterminado. Ahora se puede usar la tabla abreviada de la disyuncin
clsica para desarrollar una tabla de verdad (no abreviada) para la disyuncin
trivalente.
Primer paso: identificar las diferentes nueve posibilidades de combinaciones para
dos variables

Disyuncin trivalente

Segundo paso: Usar las primeras dos lneas de la tabla abreviada para determinar
el valor de verdad de los renglones con por lo menos un argumento verdadero:

Disyuncin trivalente
Tercer paso: Cmo la ltima lnea de la tabla abreviada es tambin la ltima lnea
de la nueva tabla, le corresponde el mismo valor de verdad: falso.

Disyuncin trivalente
Cuarto paso: Finalmente, cmo ya estn los renglones que son verdaderos o
falsos segn la tabla original, los renglones que an no tienen valor de verdad,
dado que no son ni verdaderos (sino hubieran quedado como tales en el segundo
paso) ni falsos (ya que tampoco quedaron as en el tercer paso), deben ser
indeterminados!

Disyuncin trivalente
En algunos casos, esta tabla de verdad aparece, no en tres columnas, sino en un
cuadro. Lo cual tiene la ventaja de dejar ms claro el patrn que emerge de la

tabla.
Siguiendo los mismos pasos se obtiene la tabla de la conjuncin:

Conjuncin trivalente
===Construccin de Tablas de Verdad === shifuxdd Algoritmo para construir una
tabla de verdad de una frmula en lgica de proposiciones.
Escribir la frmula con un nmero arriba de cada operador que indique su
jerarqua. Se escriben los enteros positivos en orden, donde el nmero 1
corresponde al operador de mayor jerarqua. Cuando dos operadores tengan la
misma jerarqua, se le asigna el nmero menor al de la izquierda.
Construir el rbol sintctico empezando con la frmula en la raz y utilizando en
cada caso el operador de menor jerarqua. O sea, del nmero mayor al menor.
Numerar las ramas del rbol en forma secuencial empezando por las hojas hacia
la raz, con la nica condicin de que una rama se puede numerar hasta que estn
numerados los hijos. Para empezar con la numeracin de las hojas es buena idea
hacerlo en orden alfabtico, as todos obtienen los renglones de la tabla en el
mismo orden para poder comparar resultados.
Escribir los encabezados de la tabla las frmulas siguiendo la numeracin que se
le di a las ramas en el rbol sintctico.
Asignarle a los tomos, las hojas del rbol, todos los posibles valores de verdad
de acuerdo al orden establecido. Por supuesto que el orden es arbitrario, pero

como el nmero de permutaciones es n!, conviene establecer un orden para poder

comparar resultados fcilmente.
Asignar valor de verdad a cada una de las columnas restantes de acuerdo al
operador indicado en el rbol sintctico utilizando la tabla de verdad. Conviene
aprenderse de memoria las tablas de los operadores, al principio pueden tener un
resumen con todas las tablas mientras se memorizan.
La ltima columna, correspondiente a la frmula original, es la que indica los
valores de verdad posibles de la frmula para cada caso.
Otras tablas de verdad divergentes
Adems de las tablas polivalentes e intencionales, hay muchas otras tablas de
verdad. Por ejemplo, hay tablas de verdad en las que los renglones se bifurcan en
dos o ms sub-renglones y son tiles para lo que en lgica llamamos supervaluaciones. Tambin existen tablas con valores y ms de 2n renglones, cmo es
posible? Pues porque, a diferencia de las tablas tradicionales, en estas tablas el
orden de los renglones s importa, de tal manera que renglones repetidos cuentan
como renglones distintos. Finalmente, tambin existen las tablas bidimensionales,
usadas originalmente en ciertas lgicas intencionales, pero popularizadas gracias
al trabajo de Robert Stalnaker y otros.
3.3.2 TABLAS VERDAD
Una tabla de verdad, o tabla de valores de verdad, es una tabla que despliega
el valor de verdad de una proposicin compuesta, para cada combinacin
de
valores de verdad que se pueda asignar a sus componentes.1 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.
3.3.3.- TEMPORIZADORES
Un temporizador o minutero es un dispositivo, con frecuencia programable, que
permite medir el tiempo. La primera generacin fueron los relojes de arena, que
fueron sustituidos por relojes convencionales y ms tarde por un
dispositivo
ntegramente electrnico. Cuando trascurre el tiempo configurado se hace saltar
una alarma o alguna otra funcin a modo de advertencia.