Definicin de Tablas de Verdad

Las tablas de verdad es una estrategia de la lgica simple que permite

establecer la validez de varias propuestas en cuanto a cualquier situacin, es
decir, determina las condiciones necesarias para que sea verdadero un
enunciado propuesto, permitiendo clasificarlos en tautolgicos (resultan
verdaderos durante cualquier situacin) contradictorias (son enunciados falsos
en la mayora de los casos) o contingentes (enunciados que no pueden ser
tantos verdaderos como falsos no existen tendencia a un solo sentido).

Permite diferentes aspectos del enunciado como las condiciones que lo hacen
verdadero y cules son sus conclusiones lgicas, es decir, si el enunciado
propuesto es verdadero o falso. Esta tabla fue ideada por Charles Sander
Peirce aproximadamente en 1880, pero la ms utilizada es el modelo
actualizado de Luidwin Wittgenstein en 1921.
La construccin de la tabla est fundamentada en la utilizacin de un letra para
las variables del resultado y las mismas se cumplen se dicen que son verdaderas,
en el caso contrario de que no se cumpla se les asigna el apelativo de falsas,
por ejemplo: Enunciado: Si nos mudamos, mi perro se muere. Variables: A: Si
se muda- B: el perro se muere.

Si se dice que es verdadero a ambas variables se les asigna la letra (V) y

representa la positividad del enunciado, si algunas de las variables no se cumple
se les asigna la letra (F) esto no representa la falsedad del enunciado ya que
con cumplirse una sola variable se puede designar como verdadero, eso
depender del enunciado. Cuando ambos valores resultan verdaderos en
todas las ocasiones se dice que existe una conjugacin en el enunciado, en
cambio s se obtiene dos resultados verdaderos y luego uno verdadero y el otro
falso se dice que existe una disyuncin.

Como usar las tablas de verdad

Una vez que hemos simbolizado un razonamiento; es decir, que hemos

traducido el lenguaje natural al lenguaje formal, debemos comprobar si dicho
razonamiento es vlido o no. Para ello podemos servirnos de las tablas de
verdad y de las deducciones lgicas.

Ahora vamos a ocuparnos de las tablas de verdad.

1) Partimos de que cada variable proposicional puede ser verdadera o falsa. V

oF

2) Cuando tenemos ms de una variable, las combinaciones de valores de

verdad sern varias. Para saber cuntas combinaciones de valores de verdad
podemos obtener, elevamos 2 al nmero de variables distintas que aparezcan.
Colocamos dichos valores repartndolos por la mitad en la primera variable,
por la mitad de esta en la siguiente, etc..

Ej [ ( p --> q) ^ q] --> p

V V

V F

F V

F F
3) Resolvemos las tablas de verdad de las frmulas no afectadas por el conector
dominante. Se llama conector dominante al que separa las premisas de la
conclusin.

Para ello tenemos que saber que:

a) El negador cambia el valor de verdad de la variable o frmula a la que

afecta. Si aplicamos esto a la frmula que estamos resolviendo, tendramos:

[ ( p --> q) ^ q] --> p

V V F F

V F V F

F V F V

F F V V

b) El conjuntor solo es verdadero cuando son verdaderas las dos variables o

frmulas que enlaza.

c) El disyuntor solo es falso cuando son falsas las dos variables o frmulas que
enlaza.

d) El condicional slo es falso cuando el antecedente es verdadero y el

consecuente es falso.

e) El bicondicional es verdadero cuando antecedente y consecuente tienen el

mismo valor de verdad y falso cuando antecedente y consecuente tienen
distinto valor de verdad.

Ej. Si aplicamos estas reglas al ejemplo que tenemos entre manos, tendremos:

[(p --> q) ^ q] --> p

V V V F F

V F F V F

F V V F V
 F V F V V

Una vez resuelto el parntesis, hago la tabla de verdad de la frmula que est
entre corchetes. Y as:

[(p --> q) ^ q] --> p

V V V F F F

V F F F V F

F V V F F V

F V F V V V

4) Resolvemos la tabla de verdad de la frmula afectada por el conector

dominante. Y as:

[(p --> q) ^ q] --> p

V V V F F V F

V F F F V V F

F V V F F V V

F V F V V V V

Puede ocurrir que el resultado final sea siempre verdadero, como en este
ejemplo, y eso se llama una TAUTOLOGA; que el resultado final sea a veces
verdadero y a veces falso, y eso se llama INDETERMINACIN; y, por ltimo, que
todos los resultados sean falsos y eso se llama una contradiccin.
Qu es un mapa de Karnaugh?

Un mapa de Karnaugh provee una manera alternativa de simplificacin de

circuitos lgicos. En lugar de usar las tcnicas de simplificacin con el lgebra
de Boole, t puedes transferir los valores lgicos desde una funcin booleana o
desde una tabla de verdad a un mapa de Karnaugh. El agrupamiento de ceros
0 y unos 1 dentro del mapa te ayuda a visualizar las relaciones lgicas entre las
variables y conduce directamente a una funcin booleana simplificada.
El mapa de Karnaugh es a menudo usado para simplificar los problemas lgicos
con 2, 3 o 4 variables. Un mapa de Karnaugh de 2 variables es trivial pero puede
ser usado para introducir el mtodo que
necesitas aprender. El mapa para una
puerta OR de dos entradas es como
sigue: Los valores de una variable
aparecen sobre la parte superior del
mapa, definiendo los valores de la
columna, mientras los valores de la otra
variable aparecen a un lado,
definiendo los valores de la variable en
cada fila.
El mapa de Karnaugh se va
completando colocando los unos 1
en la celda apropiada, ayudados por
la tabla de verdad. Esta agrupacin es
conocida como mini trminos o
minterms y como expresin booleana viene a ser una suma de productos.
Usualmente no se escriben los ceros 0 en la tabla, ya que solo se agrupan los
unos 1.
En el mapa las celdas adyacentes que contienen unos 1 se agrupan de a dos,
de a cuatro, o de a ocho. En este caso, hay un grupo horizontal y otro vertical
que puede agruparse de a dos. Se indican los agrupamientos dibujando un
crculo alrededor de cada uno 1.
El grupo horizontal corresponde al valor de B = 1, y esta variable no cambia de
valor, se mantiene. En esta misma fila, en la celda de la izquierda A = 0 y en la
de la derecha A = 1, es decir la variable A cambia de valor. En otras palabras el
valor de la variable A no afecta al resultado final de la expresin booleana para
estas celdas. Antes de agruparlas, deberas haber escrito la expresin booleana
para estas dos celdas como:
 A . B + A . B Despus
de agruparlas esta misma expresin se reduce a:
B
De una forma similar, el grupo vertical de dos celdas podra haber sido escrito
como:
A.B+A.B
Desde el mapa, puedes ver que el valor de B no afecta el valor escrito en las
celdas para este grupo. En otras palabras, el grupo vertical se reduce a:
A
De esta manera, el mapa de Karnaugh conduce a la expresin final:
A+B
Esto no es muy emocionante, pero si se aplica el mismo mtodo a un problema
de lgica ms compleja, comenzars a entender cmo el mapa de Karnaugh
conduce a simplificar las funciones booleanas.
Mapa de Karnaugh de 3 variables
Aqu est la tabla de verdad para un sistema de votacin por
mayora de 3 A B C salida
AB 0 0 0 0
personas La tabla de
0 0 1 0
verdad se convierte
0 1 0 0
en un mapa de 0 1 1 1
Karnaugh como sigue: 1 0 0 0
1 0 1 1
Observa 1 1 0 1
BC AC
cuidadosamente las variables en la parte superior del 1 1 1 1
mapa de Karnaugh. Estas no estn escritas de forma ordenada 00, 01, 10, 11 en
binario. De hecho, cada columna difiere de la columna previa justo en un solo
bit. Esto es conocido como cdigo Grey y esto es esencial para que tu mapa
de Karnaugh trabaje que t introduzcas los valores de la columna en este orden.
En el mapa de Karnaugh puedes identificar 3 grupos de a dos 1, como est
indicado. El grupo horizontal del lado izquierdo combina las celdas (A.B.C) y
(A.B.C). Dentro de este grupo el valor de A cambia, esto significa que esta
variable, A, no afecta los valores de las celdas. Entonces A puede ser eliminada
de la expresin, quedando (B.C).
Operando sobre los otros grupos de forma similar observamos que en el
agrupamiento horizontal de 1 de la derecha, que incluye los trminos (mini
trminos) (A.B.C) y (A.B.C), la variable que cambia es la B por lo tanto se puede
eliminar y quedara (A.C).
Por ltimo, la agrupacin de 1 vertical involucra los trminos (mini trminos)
(A.B.C) y (A.B.C) lo que d como resultado que cambie la variable C y es sta
la que se puede eliminar quedando: (A.B).
El resultado o expresin final simplificada es: A.B + A.C + B.C
Con un poco de prctica, este mtodo va a ser ms rpido que la alternativa
de simplificar la expresin booleana derivada de la tabla de verdad como
suma de productos (mini trminos), que resulta bastante complicada:
A.B.C + A.B.C + A.B.C + A.B.C
Mapa de Karnaugh de 4 variables
Un mapa de 4 variables (A, B, C y D) contiene AB 24 =
16 celdas. Es importante escribir los valores de CD las
variables en las filas y columnas respetando el
cdigo Grey.
A.B.C.D A.B.C.D
Para simplificar la
A.B.C.D +A.B.C.D
expresin:
x = A.B.C.D +A.B.C.D + + +

Esta expresin puede simplificarse un poco usando el lgebra de Boole y

agrupando los mini trminos resaltados con el mismo color: x = A.B.C.D
+A.B.C.D + A.B.C+ A.B.C
El mapa de Karnaugh de dicha expresin es el AB de
la derecha: CD

Para dar la expresin booleana ms simple

deberas agrupar el mayor nmero de
trminos o de celdas, en lo posible de a 4.

En este caso se han redondeado y agrupado dos

grupos de 4 1s, uno de los cuales lo hace con dos
1s de la parte superior y otros dos en la parte
A.C A. D
inferior del mapa. Debes identificar qu
variables de cada grupo se mantienen constantes, sin cambiar de 1 a 0 o
viceversa, y eliminas aquellas variables que s cambian. En nuestro caso hay 2
que cambian y otras 2 que no cambian. La expresin final.