Para comprender la tcnica de simplificacin y representacin mediante funciones

Booleanas, desarrollemos juntos un ejercicio prctico:

Partamos de una proposicin compuesta:
Si Juan mejora su habilidad para razonar, entonces argumenta mejor o lee mejor.
En esta proposicin compuesta se identifican las siguientes proposiciones simples:
p = Juan argumenta mejor
q = Juan lee mejor
r= Juan mejora en su habilidad para razonar
Si expresamos la proposicin dada en lenguaje natural a su equivalente en lenguaje
simblico obtenemos:
F(p, q, r) = r --> (p v q)
En que casos es verdadera la funcin lgica propuesta? Desarrollemos la tabla de
verdad para sta funcin, tal y como lo aprendimos en la primera unidad:
p q r (p v q)
Funcin Lgica
r-->(p v q)
F F F F V
F F V F F
F V F V V
F V V V V
V F F V V
V F V V V
V V F V V
V V V V V

Observemos que la funcin ser verdadera en todos los casos excepto cuando
p sea Falso, q sea falso y r sea verdadero.

Es decir que la funcin lgica se cumplir en todos los casos menos cuando ocurra
~p y ~q y r =(~p)(~q)(r).

Si aplicamos el teorema de D'Morgan encontramos que la funcin se cumplir
cuando:
ocurra p ocurra q no ocurra r, veamos:
~((~p)(~q)(r)) = ~(~p) + ~(~q) + ~(r) = p + q + ~r

El mtodo que hemos usado para representar la funcin lgica se denomina
forma normal conjuntiva

La funcin lgica que correspone a la siguiente tabla de verdad es:
p q r

Funcin Lgica
F F F V
F F V F
F V F V
F V V F
V F F V
V F V F
V V F F
V V V V


Forma Normal conjuntiva
Existe otra forma de representar la funcin lgica, veamos:
p q r Funcin Lgica
r --->(p v q)
0 0 0 1
0 0 1 0
0 1 0 1
0 1 1 1
1 0 0 1
1 0 1 1
1 1 0 1
1 1 1 1
Podemos afirmar que la funcin lgica se dar en los siguientes casos:
(~p)(~q)(~r) + (~p)(q)(~r) + (~p)(q)(r) + (p)(~q)(~r)+ (p)(~q)(r) +
(p)(q)(~r) + (p)(q)(r)
Si agrupamos (~p)(~q)(~r) + (~p)(q)(~r) =(~p)(~r)~q + q = (~p)(~r)1 = (~p)(~r)
Si agrupamos (~p)(q)(r) +(p)(q)(r) = (q)(r)~p + p = (q)(r)1 = (q)(r)
Si agrupamos(~p)(~q)(~r)+ (p)(~q)(~r)= (~q)(~r)~p + p= (~q)(~r)1 =
(~q)(~r)
Si agrupamos (p)(~q)(r) + (p)(q)(r) = pr
Si agrupamos(p)(q)(~r) + (p)(q)(r) = pq
Se obtiene: ~p~r + qr + ~q~r + pr + pq, la cual es una solucin vlida,
pero deseamos lograr la mxima simplificacin.

pagina 3 Forma Normal Disyuntiva

Agrupemos nuevamente:
(~p)(~q)(~r) + (~p)(q)(~r) + (~p)(q)(r) + (p)(~q)(~r)+ (p)(~q)(r) + (p)(q)(~r) + (p)(q)(r)
.........(1)............... (2)............... (3) ..............(4) ..............(5)............. (6).............. (7)

Si agrupamos (1) y (4): (~p)(~q)(~r) + (p)(~q)(~r) =(~q)(~r)~p + p = (~q)(~r)1 =
(~q)(~r)
Si agrupamos(2) y (6): (~p)(q)(~r) +(p)(q)(~r) = (q)(~r)~p + p = (q)(~r)1 =
(q)(~r)
Si agrupamos(3) y (7): (~p)(q)(r)+ (p)(q)(r)= (q)(r)~p + p= (q)(r)1 = (q)(r)
Si agrupamos (4) y (5): (p)(~q)(~r) + (p)(~q)(r) = p(~q)
Si agrupamos(6) y (7): (p)(q)(~r) + (p)(q)(r) = pq
Si agrupamos(5) y (7): (p)(~q)(r) + (p)(q)(r) = pr
Obtenemos: (~q)(~r) + (q)(~r) + (q)(r) + p(~q) + pq + pr
Continuemos simplificando: (~q)(~r) + (q)(~r) + (q)(r) + (p)(~q) +pq +pr
Agrupemos: (p)(~q) +pq = p(~q + q) = p (1) = p
Agrupemos: (q)(r) + (q)(~r) = q
Agrupemos: (~q)(~r) + (q)(~r) = ~r (~q + q) = ~r (1) = ~r
Obtenemos: p +q+~r + pr = p(1 + r) + q + ~r = p.1 +q+~r = p + q + ~r, que es la misma respuesta
que ya habamos obtenido.
Este mtodo se conoce como forma normal disyuntiva.

mapas de Karnaugh
Existe otra forma de obtener la funcin, conocida como mapas de
Karnaugh:
La cual consiste en agrupar el mayor nmero de unos contiguos:
Partamos de la funcin lgica original:
p q r Funcin
Lgica
r --> (p v q)

0 0 0 1 (~p)(~q)(~r)
0 0 1 0 (~p)(~q)(r)
0 1 0 1 (~p)(q)(~r)
0 1 1 1 (~p)(q)(r)
1 0 0 1 (p)(~q)(~r)
1 0 1 1 (p)(~q)(r)
1 1 0 1 (p)(q)(~r)
1 1 1 1 (p)(q)(r)
En el mapa de K, cada funcin tiene su cuadro correspondiente as:





(~p)(~q)(~r) (~p)(~q)(r) (~p)(q)(r) (~p)(q)(~r)
(p)(~q)(~r) (p)(~q)(r) (p)(q)(r) (p)(q)(~r)
En la siguiente pgina llenaremos este mapa de k con los valores correspondientes
segn la tabla.
mapas de Karnaugh 2
Llenemos el mapa de Karnaugh con el valor equivalente:





1 0 1 1
1 1 1 1
Ahora, procedamos a agrupar el mximo nmero de unos contiguos horizontal y
verticalmente mas no en diagonal:



De stas agrupaciones buscamos el ma;or nmero de variables
comunes:

En verde encontramos cuatro unos que tienen en comn la proposicin
~r
Agrupadas por un valo azul encontramos cuatro unos que tienen en
comn la proposicin q.
Agrupados por un valo rojo hay cuatro unos que tienen en comn la
proposicin p

Nuevamente obtenemos p + q + ~r