Universidad Tcnica Particular de Loja

MATEMTICAS DISCRETAS
LGEBRA BOOLEANA
Funciones booleanas
Simplificacin de circuitos
Contenidos

lgebras booleanas
Funciones booleanas
La forma normal disyuntiva
La forma normal conjuntiva
Simplificacin de funcionales booleanas
Mapas de Karnaugh
Ejercicios
lgebras booleanas

El lgebra de Boole es un sistema matemtico que

utiliza variables y operadores lgicos. Las variables
pueden tener un valor 0 o 1. Y las operaciones
bsicas son OR(+), AND() y la operacin unaria ().
lgebras booleanas

Sea B un conjunto no vaco con dos operaciones binarias: + y , una

operacin unaria: y dos elementos distintos: 0 y 1.
Entonces B se denomina lgebra booleana si satisface las siguientes leyes.

Un sistema que satisface las

propiedades de los circuitos
combinatorios se llama una
lgebra booleana.
lgebras booleanas
Propiedades adicionales de las lgebras booleanas.
Funciones booleanas

Las funciones que se pueden representar por

expresiones booleanas se llaman: funciones
booleanas.

(x1 (x2 x3))

(x1,x2,x3)
(x1 (x2 x3)) x2
Formas normales

Existen 2 mtodos para identificar la forma

algebraica:
1. La forma normal disyuntiva y
2. La forma normal conjuntiva.
En el caso de la forma normal disyuntiva, es
necesario identificar los 1s que resultan de la tabla
de verdad y formar los trminos (conjunciones
fundamentales) que los representan.
Disyuncin OR v
Formas normales: disyuntiva

Demuestre que la funcin dada por la siguiente tabla es una

funcin booleana.

Obtener la
expresin booleana
Formas normales: disyuntiva

Demuestre que la funcin dada por la siguiente tabla es una

funcin booleana.

x1 x2 x3

x1 x2 x3

x1 x2 x3

Despus, se aplica suma (or) a los trminos para obtener la expresin

booleana
(x1,x2,x3)=(x1 x2 x3) (x1 x2 x3) (x1 x2 x3)
Formas normales: disyuntiva

Demuestre que la funcin dada por la siguiente tabla es una

funcin booleana.
a b c f(a,b,c)
0 0 0 0
0 0 1 1 abc
0 1 0 0
0 1 1 0
1 0 0 1 abc
1 0 1 1 abc
1 1 0 0 Despus, se aplica suma (or) a los trminos
1 1 1 0 para obtener la expresin booleana

(a,b,c)=(abc)+(abc)+(abc)
Formas normales: mintrmino

Estos trminos formados por todas las variables

conectadas mediante operadores AND se
denominan mintrminos (conjunciones
fundamentales).
Formas normales

Existen 2 mtodos para identificar la forma

algebraica:
1. La forma normal disyuntiva y
2. La forma normal conjuntiva.
En el caso de la forma normal conjuntiva, se
opera de manera contraria a la vista
anteriormente.
En este caso es necesario identificar los 0s que
resultan de la tabla de verdad y formar los
trminos (disyunciones fundamentales) que los
representan. Conjuncin AND
Formas normales: conjuntiva

Demuestre que la funcin dada por la siguiente tabla es una

funcin booleana.

Obtener la
expresin booleana
Formas normales: conjuntiva

Demuestre que la funcin dada por la siguiente tabla es una

funcin booleana.

x1 x2 x3

x1 x2 x3
x1 x2 x3

Despus, se aplica multiplicacin (and) a los trminos para obtener la

expresin booleana
(x1,x2,x3)=(x1 x2 x3) (x1 x2 x3) (x1 x2 x3)
Formas normales: maxtrmino

Estos trminos formados por todas las variables

conectadas mediante operadores OR se denominan
maxtrminos (disyunciones fundamentales).
Minimizacin de funciones

Minimizar una funcin (x1,x2,x3, . . . xn) es

encontrar una funcin equivalente (x1,x2,x3, . . . xn)
que tenga el mnimo nmero de trminos y literales.

Leyes y propiedades
Mapas de Karnaugh
Mapas de Karnaugh

Los mapas de Karnaugh son una herramienta

grfica utilizada para simplificar las ecuaciones
lgicas o bien, minimizar funciones booleanas.
Estos mapas son una versin modificada de la
tablas de verdad, permitiendo mostrar la relacin
entre las entradas lgicas y la salida deseada.
Los mapas de Karnaugh permiten el diseo de
circuitos con el mnimo compuertas, por lo que tiene
un alto impacto en la reduccin de costos.
Mapas de Karnaugh: pasos

Pasos para la construccin de un mapa de Karnaugh.

1. Al igual que en las tablas de verdad, una funcin de

n variables tiene 2n combinaciones de posibles valores
de entrada. En el caso de los mapas de Karnaugh,
estas combinaciones se representan mediante celdas.
n=2 variables
n=3 n=4
22= 4 celdas 8 celdas 16 celdas
Mapas de Karnaugh: pasos

Pasos para la construccin de un mapa de Karnaugh.

2. Luego, las coordenadas de las celdas se enumeran

CD
00 01 11 10
AB
00
BC
B 0 1 00 01 11 10 01
A A
0 0 11

1 1 10
Mapas de Karnaugh: pasos

Pasos para la construccin de un mapa de Karnaugh.

3. Si se tiene una tabla de verdad, se escribe en cada

celda la salida.
n=3 variables
23= 8 celdas

BC
00 01 11 10
A
0 0 0 0 1

1 1 0 1 0
Mapas de Karnaugh: pasos

Pasos para la construccin de un mapa de Karnaugh.

3. Si se tiene una expresin, se escribe en cada celda la

salida
(a,b,c)=(abc) + (abc) + (abc)
(a,b,c)=(111) + (100) + (010)
BC
00 01 11 10
A
0 0 0 0 1

1 1 0 1 0
Mapas de Karnaugh: pasos

Pasos para la construccin de un mapa de Karnaugh.

3. Si se tiene una expresin, se escribe en cada celda la

salida
(a,b,c)=(abc)+(abc)+(abc)
(a,b,c)=(001)+(100)+(101)
BC
00 01 11 10
A
0 0 1 0 0

1 1 1 0 0
Mapas de Karnaugh: pasos

Pasos para la construccin de un mapa de Karnaugh.

4. Hacer agrupaciones deben hacerse en potencia de 2

(no diagonales) y lo ms grandes posibles.
Las esquinas estn conectadas entre si.

(a,b,c)=(abc) + (abc) + (abc) BC

00 01 11 10
A
0 0 0 0 1
No es posible. No se puede
simplificar el circuito 1 1 0 1 0
Mapas de Karnaugh: pasos

CD
Cuando el grupo es: AB
00 01 11 10

1 = no se va ninguna variable 00 0 0 1 0

01 0 0 0 0
= abcd
11 0 0 0 0

10 0 0 0 0

Cuando existe un cambio la letra no se pone.

La a vale 0 arriba y vale 1 abajo CD
00 01 11 10
AB
Cuando el grupo es: 00 0 0 1 1

2 = se va 1 variable 01 0 0 0 0

= bcd 11 0 0 0 0

10 0 0 1 1
Mapas de Karnaugh: pasos

CD
Cuando el grupo es: AB
00 01 11 10

4 = se van 2 variables 00 0 1 1 0

01 0 0 0 0
= bd 11 0 0 0 0

8 = se van 3 variables 10 0 1 1 0

Cuando existe un cambio la letra no se pone

CD CD
00 01 11 10 00 01 11 10
AB AB
00 0 1 1 0 00 0 0 0 0

01 0 1 1 0 =d 01 1 1 1 1
=b
11 0 1 1 0 11 1 1 1 1

10 0 1 1 0 10 0 0 0 0
Mapas de Karnaugh: pasos

Obtener la funcin booleana utilizando un mapa de

Karnaugh.
Recuerde: Hacer agrupaciones deben hacerse en potencia de 2 (no
diagonales) y lo ms grandes posibles. Las esquinas estn conectadas entre si.

20=1, 21=2 (a,b,c)=(abc)+(abc)+(abc)

22=4, 23=8
BC
Cuando el grupo es: A
00 01 11 10

1 = ninguna variable 0 0 1 0 0

2 = se va 1 variable 1 1 1 0 0 = ab + bc
4 = se van 2 variables =b(a+c)
Mapas de Karnaugh: pasos

Disear los circuitos de las funciones

(a,b,c)=(abc)+(abc)+(abc) booleanas utilizando circuit maker

=ab+bc =b(a+c)
Ejercicios
Obtener la funcin booleana utilizando mapas de Karnaugh

BC
00 01 11 10
a b c f(a,b,c) A
0 0 0 0 0
0 0 0 0
1 1 0 0 1
0 0 1 0
0 1 0 0
= ac
0 1 1 0
1 0 0 1
1 0 1 0 = (abc)+(abc)
1 1 0 1 = (acb)+(acb)
1 1 1 0 = ac(b+b)
= ac(1)
= ac
Ejercicios
Obtener la funcin booleana utilizando mapas de Karnaugh

a b c f(a,b,c) = (abc)+(abc)+(abc)
0 0 0 0
0 0 1 0
0 1 0 0 BC
00 01 11 10
A
0 1 1 0 0 0 0 0 0
1 0 0 1 1 1 0 1 1

1 0 1 0
1 1 0 1 = ac + ab
1 1 1 1 = a(b+c)
Ejercicios
Obtener la funcin booleana utilizando mapas de Karnaugh

a b c f(a,b,c) = (abc)+(abc)+(abc)+(abc)+(abc)
0 0 0 1
0 0 1 0
0 1 0 1
BC
00 01 11 10
0 1 1 1 A
0 1 0 1 1
1 0 0 0
1 0 0 1 1
1 0 1 0
1 1 0 1 = ac + b
1 1 1 1
Ejercicios
Obtener la funcin booleana utilizando mapas de Karnaugh

a b c f(a,b,c) = (abc)+(abc)+(abc)+(abc)
0 0 0 1
0 0 1 0
0 1 0 1
BC
00 01 11 10
0 1 1 0 A
0 1 0 0 1
1 0 0 0
1 0 0 1 1
1 0 1 0
1 1 0 1 = ac + ab
1 1 1 1
Ejercicios
Obtener la funcin booleana utilizando mapas de Karnaugh
a b c d f(a,b,c,d)
CD
0 0 0 0 0 00 01 11 10
AB
0 0 0 1 0 00 0 0 0 0
0 0 1 0 0
01 0 1 1 0
0 0 1 1 0
0 1 0 0 0 11 1 1 1 0

0 1 0 1 1 10 1 0 0 0
0 1 1 0 0
0 1 1 1 1
1 0 0 0 1 = bd + acd
1 0 0 1 0
1 0 1 0 0
1 0 1 1 0
1 1 0 0 1
1 1 0 1 1
1 1 1 0 0
1 1 1 1 1
Ejercicios
Obtener la funcin booleana utilizando mapas de Karnaugh
a b c d f(a,b,c,d)
CD
0 0 0 0 0 00 01 11 10
AB
0 0 0 1 0 00 0 0 0 0
0 0 1 0 0
01 0 0 1 1
0 0 1 1 0
0 1 0 0 0 11 0 1 1 0

0 1 0 1 0 10 0 1 1 0
0 1 1 0 1
0 1 1 1 1
1 0 0 0 0 = abc + ad
1 0 0 1 1
1 0 1 0 0
1 0 1 1 1
1 1 0 0 0
1 1 0 1 1
1 1 1 0 0
1 1 1 1 1