COLEGIO NACIONAL DE EDUCACIN PROFESIONAL TCNICA

CONALEP AGUASCALIENTES 1 PROF.J REFUGIO ESPARZA REYES

MATEMATICAS DISCRETAS

TABLAS DE VERDAD, OPERACIONES COMPUESTAS LGICAS Y KARNAUGH

Dan Abogamed Jimenez Fuentes

Mariana Joseline Leos Medina

GRUPO TURNO
207 MATUTINO
 Tablas de verdad
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.

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.

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.
OPERACIONES COMPUESTAS LOGICAS
 MAPAS DE KARNAUGH
Otra manera de simplificar funciones es representndolas en mapas de
Karnaugh. Esto es equivalente a resolver las simplificaciones por teoremas.
Sin embargo, mucha gente considera que resulta ms fcil visualizar las
simplificaciones si se presentan grficamente.
Los mapas de Karnaugh pueden aplicarse a dos, tres, cuatro y cinco
variables. Para ms variables, la simplificacin resulta tan complicada que
conviene en ese caso utilizar teoremas mejor. Para efectos de clase,
veremos las simplificaciones de dos, tres y cuatro variables.
Ejemplo 1: Simplifica la funcin de dos variables f = a'b + ab' + ab
Lo primero que debo de hacer es representarlo en un mapa de dos
variables. Se representa como una tabla. Para llenar la tabla, pongo un uno
donde se intersecte el valor de la funcin. Por ejemplo, para el primer
trmino de la funcin f = a'b + ab' + ab, se ha marcado en rojo donde se
puso el 1 en la tabla.

Una vez hecho el mapa, debemos marcar las regiones contiguas que
manejen 1s. Aqu en el dibujo vemos cmo se marcan dos regiones. Estas
regiones son las simplificaciones. Como la regin azul involucra solamente a
la b, eso representa. La regin verde, por su parte, involucra solamente a la
a. Para cada regin, debemos checar qu variables involucra. En el caso
de la regin azul, cubre a la b, pero con respecto a la variable a maneja
tanto a como a', y por eso se descarta la a. Una vez definidas las regiones,
se escribe la funcin simplificada f= b + a.

Ejemplo 2: Simplifica la funcin de tres variables f = a'b + ab'c + c'

Lo primero que debo de hacer es representarlo en un mapa de tres
variables. Se representa como se muestra en la tabla. Para llenar la tabla,
pongo un uno donde se intersecte el valor de la funcin. Por ejemplo, para
los trminos de la funcin f = a'b +ab'c + c', se ha marcado donde se puso
el 1 en la tabla.

Ahora debemos buscar las regiones que nos indiquen la funcin

simplificada. Lo primero que debemos observar es que las regiones pueden
agruparse de los extremos del mapa, como la regin azul. Esta regin

representa a c'. Ahora, vemos que queda un bit en a'bc, pero siempre
conviene agruparlo lo ms posible, en regiones cuyas celdas sean mltiplos
de 2 (1, 2, 4, 8...) En este caso, la agrupamos con el 1 contiguo, para que la
regin quede como a'b.
La regin verde se agrupa para formar ab'. As, la funcin resultante sera f =
a'b + ab' + c.

Ejemplo 3: Simplifica la funcin de cuatro variables f = ac'd' + a'bd + abcd +

ab'cd + a'bc'd' + a'b'c'd'
Nuevamente, lo primero que hacemos es vaciar la funcin al mapa. Ntese
la forma que toma el mapa.
Ahora, lo siguiente es agrupar las variables en regiones. La primer a regin,
la roja, est agrupada de las esquinas. Esta agrupacin representa a c'. La
siguiente regin, la verde la agrupo con el 1 que tiene abajo. Pude haberla
agrupado con el 1 a la derecha, pero hubiera significado agrupar un 1 ya
agrupado, y dejar otro 1 an no agrupado sin agrupar. As que se agrupa
de esta forma, y la regin verde representa a a'bd. Los 1s que quedan hasta
este momento libre pueden agruparse juntos, en la regin azul. Esto
representa a acd.

Es importante notar la regin naranja. Representa a bcd. Esta regin es una

simplificacin adicional vlida, que pudo haberse manejado. En ocasiones,
habr varias formas de agrupar a los 1s. Todas son vlidas, y representan
soluciones equivalentes. Sin embargo, hay que cuidar de siempre agrupar
las regiones lo ms grandes posibles, y cuidando de agrupar a los 1s de
manera que se repitan lo menos posible.

MTODO DE REDUCCIN DE MAPAS DE KARNAUGH

El lgebra de Boole, resuelve problemas que dependiendo del nmero de
trminos que tena la funcin cannica, siendo el nmero de compuertas
lgicas utilizadas igual al nmero de trminos obtenidos MS UNO; por lo
tanto, los circuitos obtenidos son de dos niveles de conmutacin con
un tiempo mnimo de retardo, pero que de ninguna manera es el ms
sencillo ni el ms econmico.
2.1 Generacin de MAPA DE KARNAUGH de 2 y 3 variables.
Los mapas de Karnaugh es uno de los mtodos ms prcticos. Se puede
decir que es el ms poderoso, cuando el nmero de variables de
entrada es menor o igual a seis; ms all, ya no es tan prctico. En general,
el mapa de Karnaugh se considera como la forma grfica de una tabla de
verdad o como una extensin del diagrama de Venn.
Antes de explicar como se utiliza el mapa de Karnaugh en
la minimizacin de funciones, veremos como se obtiene el mapa. Esto nace
de la representacin geomtrica de los nmeros binarios. Un nmero
binario de n bits, puede representarse por lo que se denomina un punto en
un espacio N. Para entender lo que se quiere decir con esto, considrese
el conjunto de los nmeros binarios de un bit, es decir 0 o 1.
Esteconjunto puede representarse por dos puntos en un espacio 1; esto es,
por dos puntos unidos por una lnea. Tal representacin se denomina
un cubo 1.
De la Figura 2.2, se observa que al reflejarse el cubo 1 se obtiene
un cuadriltero cuyos vrtices representan un nmero binario.
Estos nmeros se obtienen al agregar un 0 a la izquierda de
los vrtices del cubo reflejado. Del cubo 2 se observa que se obtienen 4
vrtices, los cuales corresponden a las combinaciones de dos
variables (22=4), pero si se sigue la trayectoria indicada en la Figura 2.2.b, se
podr observarque al pasar de un vrtice al otro, existe un solo cambio, lo
que da lugar a un cdigo especial, debido que a no sigue la formacin
del cdigo binario, como se muestra en la siguiente tabla. Ms adelante le
daremos un nombre a este cdigo.
AB
0 0
0 1
1 1
1 0

Ahora, si a cada vrtice del cubo 2 se le asigna un casillero, se tendr

la Figura 2.3.
De la Figura 2.3.(b), si proyectamos el cubo 2, obtendremos el cubo 3, el
cual se muestra en la Figura 2.4.
 De la Figura 2.4.b, si seguimos la trayectoria marcada por las flechas
obtendremos la siguiente tabla, en donde de un carcter a otro existe
un solo cambio; otra caracterstica de la tabla, es el reflejo que existe entre
los caracteres 1-2 y 5-6 de la columna C y el reflejo entre los caracteres 2-3-
4-5 en la columna B. El reflejo que existe siempre es con respecto al eje
central de simetra.

Ahora que tenemos el cubo 3, podemos obtener la representacin en la

forma de la Figura 2.3.(a), (b) y (c), lo cual se muestra en la Figura 2.5.

El levantamiento del cubo 3, a partir de la Figura 2.5, se muestra en la Figura

2.6.
 Ahora, si asignamos una rea a cada punto, como se muestra en la Figura
2.7, se obtendr la representacin que se denomina mapa del cubo N, que
en este caso fue desarrollado para un cubo 3. Como se tienen 8 casilleros,
stos corresponden a las combinaciones de tres variables, la cuales pueden
ser A, B y C, siendo A la ms significativa y C la menos significativa, por lo
que la tabla funcional para presentar estemapa es:
CDIGO
BINARIO GRAY

A B C G1 G2 G3

DEC
0 0 0 0 0 0 0
1 0 0 1 0 0 1
2 0 1 0 0 1 1
3 0 1 1 0 1 0
4 1 0 0 1 1 0
5 1 0 1 1 1 1
6 1 1 0 1 0 1
7 1 1 1 1 0 0
 La primera tabla corresponde al cdigo binario y la otra corresponde
al cdigo especial que en realidad se le conoce como cdigo de
Gray o cdigo reflejado. Como veremos, ambos cdigos estn implcitos en
el mapa de Karnaugh.
Si observamos el mapa de la Figura 2.8.(d), cada casillero tiene asignado
un nmero, el cual corresponde a un nmero del cdigo binario. De la
misma figura pero del inciso (e), si seguimos la trayectoria marcada por las
flechas, cada nmero representa a un carcter del cdigo Gray.
En la tabla anterior, se muestran cada uno de los cdigos mencionados.
2.2 Procedimiento para MINIMIZAR una FUNCIN por MAPAS K
En forma definitiva, el mapa que se utilizar para
la minimizacin de funciones booleanas con tres variables, ser el que se
muestra en la Figura 2.9.(d). A continuacin explicaremos la forma como se
utilizar en este mapa. Los pasos a seguir sern los mismos para
cualquier mapa, no importa cual sea el nmero de variables.
1. De la definicin del problema y de la tabla funcional se obtiene la funcin
cannica.
2. Los minitrminos o maxitrminos de la funcin cannica se trasladan al
mapa K. Se coloca un 1 si es minitrmino y 0 si es maxitrmino.
3. Se realizan los enlaces abarcando el mayor nmero de trminos bajo los
siguientes criterios:
a) El nmero de trminos que se enlazan (agrupan) deben seguir la regla de
formacin binaria, es decir, de 1 en 1, de 2 en 2, de 4 en 4, de 8 en 8, etc.
b) Al agrupar los trminos, se debe cuidar la simetra con los ejes
centrales y secundarios.
4. El hecho de que se haya tomado un trmino para un enlace no quiere
decir que ste mismo no pueda utilizarse para otros enlaces.
5. La funcin reducida tendr tantos trminos como enlaces se hayan
realizado.
6. Para obtener el trmino reducido se realizan dos movimientos sobre el
mapa, uno vertical, que barre a las variables ms significativas y otro
horizontal, que barre a las variables menos significativas.
7. Se aplican los siguientes postulados:
A . A' = 0
A.A=A