TABLAS DE VERDAD

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.

P Q ^Q

1 1 1

1 0 0

0 1 0

0 0 0

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:

1. . Sin son tautolgicas, contradictorias o contingentes

2. . Cules son sus condiciones de verdad
3. . 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:

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.

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.

<center>

P Q PVQ

1 1 1

1 0 1

1 1 1

0 0 0

Bicondicional: El bicondicional solamente es cierto si sus

componentes tienen el mismo valor de verdad.

P Q PQ
 1 1 1

1 0 1

1 1 1

0 0 1

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.
La funcin de la puerta lgica AND es la multiplicacin, y viene
representada de la siguiente manera:

Para comprender mejor el funcionamiento de esta puerta lgica, nos

podemos servir de la tabla de verdad:
La funcin de la puerta lgica OR es la suma, y viene representada de la
siguiente manera:

Y la tabla de verdad de la puerta OR es la siguiente:

La funcin de la puerta lgica NOT es la inversa, es decir, lo que aparece

en la salida es lo contrario de lo que aparece en la entrada.
Se representa de la siguiente manera:
Viendo esta tabla de verdad comprenderemos mucho mejor e
funcionamiento de la puerta lgica NOT:

TABLAS DE KARNAUGH
Un mapa de Karnaugh (tambin conocido como tabla
de Karnaugh o diagrama de Veitch, abreviado como Mapa-K o Mapa-KV)
es un diagrama utilizado para la simplificacin de funciones
algebraicas Booleanas. El mapa de Karnaugh fue inventado
en 1950 por Maurice Karnaugh, un fsico y matemtico de los laboratorios
Bell.
Los mapas de Karnaugh reducen la necesidad de hacer clculos extensos
para la simplificacin de expresiones booleanas, aprovechando la
capacidad del cerebro humano para el reconocimiento de patrones y otras
formas de expresin analtica, permitiendo as identificar y eliminar
condiciones muy inmensas.
El mapa de Karnaugh consiste en una representacin bidimensional de
la tabla de verdad de la funcin a simplificar. Puesto que la tabla de verdad
de una funcin de N variables posee 2N filas, el mapa K correspondiente
debe poseer tambin 2N cuadrados. Las variables de la expresin son
ordenadas en funcin de su peso y siguiendo el cdigo Gray, de manera
que slo una de las variables vara entre celdas adyacentes. La
transferencia de los trminos de la tabla de verdad al mapa de Karnaugh
se realiza de forma directa, albergando un 0 un 1, dependiendo del valor
que toma la funcin en cada fila. Las tablas de Karnaugh se pueden
fcilmente realizar a mano con funciones de hasta 6 variables, para
funciones de mayor cantidad de variables es ms eficiente el uso de
software especializado.