ALGEBRA DE BOOLE

Arturo Rosales
ALGEBRA DE BOOLE (BOOLENA)
George Boole (1847) matemtico Ingles,
autodidacta
Fundamentos de la aritmtica
computacional
Claude Shannon (1948), Ing. Electrnico y
matemtico USA
Utilizo el Algebra de Boole para el diseo
central telefnica
Padre de la teora de la informacin
DEFINICION
Parte del algebra de conjuntos que trata
con variables binarias (solo 0`s y 1`s)
Se basa en tres operaciones lgicas
fundamentales:
Suma lgica (+ OR)
Producto lgico ( AND)
Complementacin (NOT)
Soporte matemtico de Electrnica digital:
Para la simplificacin de los circuitos lgicos

LA OPERACIN (+) OR
Se define:
0 + 0 = 0
0 + 1 = 1
1 + 0 = 1
1 + 1 = 1
La operacin () AND
Se define:
0 0 = 0
0 1 = 0
1 0 = 0
1 1 = 1
La operacin complemento (NOT negacin)
0

= 1 (se lee 0 negado)

1

= 0 (se lee 1 negado)

Variable binaria (x, y, z, ..)
Solo puede tomar 2 valores (o estados)
Normalmente se expresan como 0 y 1
Funcin lgica
Variable binaria cuyo estado depende a su vez de
otras variables binarias
Relacionadas por medio de operaciones lgicas
Ejemplos f = xy f = xy + wz = +
Tabla de verdad
Expresa grficamente el estado lgico que toma
una funcin para c/u de las combinaciones de las
variables, como resultado de las operaciones
lgicas que intervengan
Expresin lgica
Representacin de una funcin
lgica por medio del Algebra de
Boole
Ejemplo: = + +
Las expresiones lgicas pueden
representar circuitos fsicos



EJEMPLO 1
Imaginemos una sala grande a la que se puede acceder a traves de 2
puertas. En el techo hay una nica lmpara y existen dos interruptores
(suiches) de luz, uno al lado de cada puerta de entrada,. Como es lgico
la luz se enciende cuando alguno de los dos suiches (o los dos) se
activan.
Cual es la ecuacin boolena que me describe esta situacin?
solucin
Sea A el primer suiche (0 apagado, 1 encendido)
Sea B el segundo suiche (0 apagado, 1 encendido)
Sea F el estado de la bombilla (0 apagada, 1 encendida)
Entonces F = A + B
Circuito?
EJEMPLO 2
Imaginemos que una caja de seguridad de un banco que
slo se abre cuando se han introducido dos llaves
diferentes, una la tiene el director y la otra el jefe de
seguridad.
Si slo se introduce una de ellas, la caja no se abrir.
Cual es la ecuacin boolena que me describe esta
situacin?
Solucin:
Sea la variable A una de las llaves (A=0, llave no
introducida, A= 1 llave introducida)
Sea la variable B la otra llave (B=0, llave no introducida,
B= 1 llave introducida)
Sea F el estado de la caja de seguridad (F=0 abierta, F=1
cerrada)
Luego:
F = A


Ejemplo 3 = ( +)
a b c F=a(b+c)
0 0 0
0 0 1
0 1 0
0 1 1
1 0 0
1 0 1
1 1 0
1 1 1
Tabla de verdad
Como las variables a, b, c solo pueden tomar 2 valores: 0 y 1
Disear un circuito elctrico que represente a la funcin lgica f, con fuente
VDC, bombilla, suiches y cables
a, b, c representan a los suiches: 0 = abierto, 1 = cerrado
0
0
0
0
0
1
1
1
Producto lgico : Representa: AND (Y)
Suma lgica + : Representa: OR (O)
LEYES DEL ALGEBRA DE BOOLE
(PARA UNA VARIABLE)
Suma lgica
x + 0 = x
x + 1 = 1
x + x = x
Producto lgico
x 0 = 0
x 1 = x
x x = x


1 x x
0 x x
X puede representar una expresin que contenga mas de una variable.
Ejemplo
X X

=
PRINCIPIO DE DUALIDAD
Si se tiene una expresin lgica correcta y se cambia el
tipo de operacin lgica(suma por producto o al
contrario) y se complementan los 0`s 1`s que
aparezcan, se obtiene otra expresin lgica correcta
Ejemplos
x + 0 = x
x + 1 = 1
=
=
+

=
PROPIEDADES (+DE 1 VARIABLE)
Conmutativa
x + y = y + x
Asociativa
x + y + z + w = (x + y) + (z +w)
xyzw = (xy)(zw) = x(yzw)
Distributiva (producto sobre suma)
x (y + z) = x y + x z
Cual seria la propiedad dual? (suma sobre producto)
x + (yz) = (x+y)(x+z) (demostrarla)
se usa para simplificar funciones:
Eplo1 :Demostrar que: + = +
+ = + + = 1 + = +
Eplo2 :Demostrar que: ( +) =

X Y = Y X
Leyes de absorcin
x + xy = x
x(x+ y) = x
Generalizando esta ley
Una expresin compuesta por la suma de varios
trminos producto queda simplificada al termino
mas simple si el estado de sus variables se
encuentra en los dems trminos
Ejemplos: demostrar
=

= + + =



LEYES VARIAS







Forma basica Forma dual
LEYES DE D`MORGAN (2 VARIABLES)
Permiten transformar funciones producto en funciones
suma y viceversa
Aplicacin practica. Realizar circuitos con un solo
tipo de compuerta



Recordar que x puede ser cualquier expresin:
Demostrar:

+ = +

DEMOSTRACIN POR TABLAS DE VERDAD
Demostrar

y x y x
0 0
0 1
1 0
1 1
0
1
1
1
1
0
0
0
1
1
0
0
1
0
1
0
1
0
0
0
PARA 3 VARIABLES
+ + =
= + +
Demostrar:
Simplifique:


Simplifique:

Simplifique:


Simplifique:

= +
= + +

= +

= +

= +
= + + +( +)
= +

= +

= +
COMPUERTAS LOGICAS.pptx
EJEMPLOS
Determine la expresin de salida y simplifique


=
= +

+

Determine la expresin de salida y simplifique
= +
=

OTRO EJEMPLO
Implementar un circuito que satisfaga la expresin lgica X = AB + CD
utilizando el mnimo numero de CI. (luego solo con compuertas NAND)
Solucin:



Escriba la expresin de salida para el circuito, cuantas compuertas se
necesitan para implementarlo? (cuantos CI`s? en TTL)







Simplifique la expresin:



=
= ( +) ( +)
Se necesitan 4 compuertas:1 inversor, 2 compuertas NOR y
una compuerta NAND
se necesitan 3 CI: 7404(inversor), 7402(NOR), 7400(NAND)
= + +
= + +
Realice el circuito



Cuantas compuertas se necesitan?
2, 1 inversor y una compuerta OR de 3 entradas
Cuantas CI`s se necesitan?
2: un 7404(inversor) y un 7432(OR)


LEYES DEL ALGEBRA DE BOOLE SIMULADAS
PARA LA SUMA LOGICA
+0 = 0
+1 = 1

+ =


+

= 1


LEYES DEL ALGEBRA DE BOOLE SIMULADAS
PARA EL PRODUCTO LOGICO
0 = 0
1 =


=

= 0

UNIVERSALIDAD DE LAS COMPUERTAS NAND Y
NOR
Teniendo solo compuertas NAND o solo
compuertas NOR se pueden obtener
todas las dems:
Si solo tiene NAND, obtener: NOT, AND,
OR, NOR, XOR y XNOR
Si solo tiene NOR, obtener: NOT, OR,
AND, NAND, XOR y XNOR

CON NAND
Inversor (NOT)


AND



OR

x x x f
y x y x f
y x f
y x y x f
CON NAND
NOR




XOR




y x f
y x y x y x f
y x y x f
y x y x y x y x f
XNOR


y x xy y x f
y x xy f
y x xy f
CIRCUITOS COMBINATORIOS
Son aquellos que estn formados por compuertas
lgicas
El nivel lgico de la salida solo depende de la
combinacin de los niveles lgicos presentes en las
entradas
No posee la caracterstica de memoria, su salida
depende solo del valor regular de sus entradas
Antes de estudiar los circuitos lgicos combinatorios
vamos a estudiar algunas tcnicas para obtener la
expresin lgica a partir de la tabla de verdad
Estudiaremos algunos mtodos de simplificacin:
Algebraico
Mtodo de Karnaugh

FORMAS CANNICAS
A partir de una tabla de verdad, podemos obtener
mltiples expresiones para la misma funcin.
Todas equivalentes
Dos expresiones directas de la tabla de verdad:
Formas canonicas: Se caracterizan porque en todos
los trminos de estas expresiones aparecen todas las
variables.
Primera forma cannica: (esta formada la suma de
productos)
Ejemplo (funcin de 3 variables)

La obtencin de la primera forma cannica, a partir de
una tabla de verdad es inmediato. El proceso se
denomina desarrollo de la tabla de verdad por unos.
C B A C B A C B A F
PROCESO
Tomamos la tabla de verdad y slo nos fijamos
en las filas en las que la funcin vale 1,
olvidndonos del resto. Por cada una de estas
filas tendremos un sumando, constituido por el
producto de todas las variables, aplicando la
siguiente regla:
Si una variable est a 0, en la fila escogida,
usaremos la variable negada, y si est a 1
usaremos la variable sin negar.
EJEMPLO:
Obtener la primera forma cannica, a partir de la
siguiente tabla de verdad:








La funcin F ser la suma de estos tres trminos:


Comprobar con algunos valores

C B A C B A C B A F

NOTACIN:

A cada uno de los sumandos de una expresin en la
primera forma cannica, le corresponde una fila de la
tabla de verdad, es decir, un nmero en decimal. As en
la funcin anterior:
=

+
El termino

representa la fila de la tabla de

verdad en la que A = 0, B = 0 y C = 1, que si se pone en
decimal es el nmero 1.
Cual es el decimal correspondiente a

?
(011)
2
= 3
Cual es el decimal correspondiente a ?
(111)
2
= 7
De esta manera, esa funcin la podemos escribir de la
siguiente manera:

) 7 , 3 , 1 ( F
SEGUNDA FORMA CANNICA
Se caracteriza porque est formada por un
producto de sumas.
Y en todos sus trminos deben aparecer
todas sus variables, bien negadas o no
Ejemplo:
= +

+ +
Dos trminos que van multiplicados
Otro ejemplo:
=

+

OBTENER LA SEGUNDA FORMA CANNICA A PARTIR
DE LA TABLA DE VERDAD
Proceso : Desarrollo de la tabla de verdad por
ceros
De la tabla de verdad solo nos fijamos en las filas
en las que la funcin vale 0`, no olvidamos del
resto
REGLA:
Si una variable est a 1, en la fila escogida,
usaremos la variable negada, y si est a 0
usaremos la variable sin negar
La funcin final ser el producto de c/u de estos
trminos

EJEMPLO:
Obtener la segunda forma cannica, a partir de la
siguiente tabla de verdad:








Luego:
= +

+ +

+
Comprobarla
+

+ +

+
NOTACIN:
Para la segunda forma cannica se usa otra
notacin. La funcin F anterior est
constituida por tres trminos multiplicados.
Si nos fijamos en el primero: +

+ se
corresponde con la fila de la tabla de verdad
en la que A=0, B=1, C=0, que si lo ponemos
en decimal es el nmero 2.
De esta manera podemos usar la siguiente
notacin para representar a F:
=

(2,4,6)

OTRO EJ EMPLO
Obtener las ecuaciones cannicas (1 y 2 formas),
escrbalas con notacin de o de , para la tabla de
verdad:






Simplifquelas si es posible
Solucin

= + + + + +

+ + + +

+
SIMPLIFICACIN DE FUNCIONES BOOLEANAS
Las funciones booleanas se tienen que
simplificar al mximo, para disear los circuitos
con el menor nmero de componentes
electrnicos.
Dos mtodos
1. Utilizando las propiedades y Teoremas del
Algebra de Boole
2. Utilizando el mtodo de Karnaugh (Mapa K)
Normalmente las formas cannicas no son las
expresiones ms simplificadas
MTODO ANALTICO
Basado en la experiencia y conocimiento del
Algebra de Boole
Ejemplo 1: simplificar



Ejemplo 2:

MTODO DE KARNAUGH(MAPA K)
Mtodo grafico para simplificar una funcin lgica a
partir de la tabla de verdad
Utilidad practica hasta 4 variables
Al igual que la tabla de verdad es un medio para
demostrar la relacin entre las v. de entrada y la
salida
Ejemplos:

EJEMPLO 2

Simplificando:

EJEMPLO 3

+
simplificando
=

+
?
MAPA K
Cuantas variables? Cuadricula de 16 casillas 4 2
4
= 16
Variables ABCD
A es MSB D es LSB

0000 0 0001
1 0011 3
0010
2
0100 4 0101 5 0111 7 0110
6
1100
12 1101
13 1111
15
1110 14
1000 8
1001
9
1011 11 1010 10



AGRUPAMIENTOS (2, 4, 8 UNOS)
Agrupamientos de dos (pares)
Nunca en diagonal


PARES
AGRUPAMIENTO DE PARES
El agrupamiento de un par de unos
adyacentes en un mapa K elimina la
variable que aparece en forma negada y no
negada
Elimina una variable

AGRUPAMIENTO DE GRUPOS DE CUATRO
(CUADRUPLES)
f = C
f = AB
OTROS CUDRUPLES
f = BD
OTR0
El agrupamiento cudruple de unos elimina las dos
variables que aparecen en forma negada y no negada
AGRUPAMIENTO DE GRUPOS EN OCHO (OCTETOS)
Grupo de 8 unos adyacentes entre si
OTROS EJEMPLOS
El agrupamiento de un OCTETO de unos elimina las tres
variables que aparecen en forma negada y no negada

PROCESO COMPLETO DE SIMPLIFICACIN
1. Construya el mapa K y coloque unos en los
lugares correspondientes
2. Busque unos aislados
3. Agrupe cualquier octeto aunque algunos de los
unos ya fueron repetidos
4. Asegrese de utilizar el numero mnimo de
agrupamientos
5. Utilice todos los unos
6. Forme la suma OR de todos los trminos
generados por cada agrupamiento
EJEMPLOS
OTRO EJEMPLO

OTRO EJEMPLO
=

OTRO EJEMPLO (DOS SOLUCIONES IGUALMENTE CORRECTAS)
=

UTILIZAR EL MAPA K PARA SIMPLIFICAR UNA
EXPRESIN LGICA
Simplificar
1 1
1
1 1
0 0
0
CONDICIONES NO IMPORTA
Algunos circuitos pueden disearse de
manera que haya ciertas condiciones de
entrada para las cuales no se especifica
los niveles de salida porque estas
condiciones nunca ocurrirn
Habr combinaciones de niveles de
entrada donde no importa si la salida en
ALTA o BAJA
EJEMPLO
0
1
f = A
EJERCICIOS
En un registro de 4 bits (ABCD) cuyas salidas
estn disponibles al exterior se almacena
informacin en cdigo BCD. Realizar un circuito
lgico (para cada caso) que detecte que el
numero a la salida es:
1. Primo (el cero no es primo)
2. Mltiplo de 3
3. Impar
4. Menor que 3 o mayor que 5


Realice primero la tabla de verdad, utilice las
condiciones no importa
AYUDA
NUMERO PRIMO
Tabla de verdad

primo
BCD
0
1
1
1
0
1
0
1
0
0
X no importa
MAPA K (PRIMO)
1
1
ECUACIN Y CIRCUITO LGICO PARA NO.
PRIMO

CIRCUITO SIMULADO
SOLO CON COMPUERTAS NAND
RESPUESTAS
Numero mltiplo de 3
= +

Numero impar
f = D
Numero menor que 3 y mayor que 5
=