Algebra Booleana

Descargar como pdf o txt
Descargar como pdf o txt
Está en la página 1de 18

Álgebra booleana Ing.

Jose Eduardo Aguirre

ÁLGEBRA BOOLEANA
• Desarrollada por George Boole

• Herramienta para representar proposiciones


lógicas en forma algebraica

• Se aplica en representación de circuitos


lógicos y diseño digital

EXPRESIONES BOOLEANAS
• Uso de variables booleanas (cuyos valores
son 1 ó 0)

Unitec 1 20-1
Álgebra booleana Ing. Jose Eduardo Aguirre

• Minitérmino: Es un producto booleano en la


que cada variable aparece sólo una vez; es
decir, es una expresión lógica que se
compone de variables y los operadores
lógicos AND y NOT. P. ejem. ABC y AB’C.

• Maxitérmino: Es una expresión lógica que


se compone de variables y los operadores
lógicos OR y NOT. P. ejem. A+B’+C y
A’+B+C.

• En álgebra booleana, se conoce como forma


canónica de una expresión, a todo producto
o suma en la cual aparecen todas sus
variables en su forma directa o inversa.

• Una expresión lógica puede expresarse en


forma canónica usando minitérminos o
maxitérminos.

• Todas las expresiones lógicas son


expresables en forma canónica como una
“suma de minitérminos” o como un
“producto de maxitérminos”.

Unitec 2 20-1
Álgebra booleana Ing. Jose Eduardo Aguirre

PROPIEDADES DE LAS EXPRESIONES


BOOLEANAS

a) Formadas con variables booleanas


b) Valores de 1 (verdadero) ó 0 (falso)
c) Puede tener constantes booleanas (1 ó 0)
d) Puede tener operadores lógicos: AND (&,
^), OR (V) y NOT (¬, ‘, -, ~)

• Multiplicación lógica: AND


• xy = x ∙ y = (x)(y)
• Suma lógica: OR
• x+y
• Complemento (negación): NOT
• x’
e) Se puede obtener el resultado lógico de
una expresión booleana aplicando las tablas
de verdad (valores de certeza)
f) Se puede aplicar la Ley de Morgan

Unitec 3 20-1
Álgebra booleana Ing. Jose Eduardo Aguirre

EJEMPLO DE EXPRESIONES BOOLEANAS


• Suponga que un sistema lógico tiene 3
variables de entrada (A, B y C) y la salida
de la función (F) se comporta de acuerdo a
la siguiente tabla de verdad:

A B C F
0 0 0 0
0 0 1 1
0 1 0 0
0 1 1 0
1 0 0 1
1 0 1 0
1 1 0 1
1 1 1 0

Representación de la expresión booleana:

F = A’B’C + AB’C’ + ABC’

Unitec 4 20-1
Álgebra booleana Ing. Jose Eduardo Aguirre

LEYES DEL ÁLGEBRA BOOLEANA

1.- Existencia de neutros


x+0=x
x∙1=x

2.- Conmutatividad
x+y=y+x
x∙y=y∙x

3.- Asociatividad
x + (y + z) = (x + y) + z
x ∙ (y ∙ z) = (x ∙ y) ∙ z

4.- Distributividad
x + (y ∙ z) = (x + y) ∙ (x + z)
x ∙ (y ∙ z) = (x ∙ y) ∙ z

5.- Complementos
x + x’ = 1
x ∙ x’ = 0

Unitec 5 20-1
Álgebra booleana Ing. Jose Eduardo Aguirre

TEOREMAS DEL ÁLGEBRA BOOLEANA

1.- Idempotencia
x+x=x
x∙x=x

2.- Identidad de los elementos 0 y 1


x+1=1
x∙0=0

3.- Absorción
x + (x ∙ y) = x
x ∙ (x + y) = x

4.- Complemento de 0 y 1
0’=1
1’=0

5.- Involución (doble negación)


(x’)’ = x

5.- Leyes de Morgan


(x + y)’ = x’ ∙ y’
(x ∙ y)’ = x’ + y’

Unitec 6 20-1
Álgebra booleana Ing. Jose Eduardo Aguirre

a) Cambiar cada + por ∙ y viceversa


b) Complementar (negar) cada término
c) Complementar (negar) la expresión
completa

TABLA DE TEOREMAS DEL


ÁLGEBRA BOOLEANA
Nú Teorema Dual
1 0A=0 1+A=1
2 1A=A 0+A=A
3 AA=A A+A=A
4 AA’=0 A+A’=1
5 AB=BA A+B=B+A
6 ABC = A(BC) A+B+C = A+(B+C)
7 (ABC)’ = A’+B’+C’ (A+B+C)’ = A’B’C’
8 AB+AC = A(B+C) (A+B)(A+C) = A+BC
9 AB+AB’ = A (A+B)(A+B’) = A
10 A+AB = A A(A+B) = A
11 A+A’B = A+B A(A’+B) = AB
12 CA+CA’B = CA+CB (C+A)(C+A’+B) = (C+A)(C+B)
13 AB+A’C+BC=AB+A’C (A+B)(A’+C)(B+C)=(A+B)(A’+C)

Unitec 7 20-1
Álgebra booleana Ing. Jose Eduardo Aguirre

SIMPLIFICACIÓN DE
EXPRESIONES BOOLEANAS
MEDIANTE EL USO DE
TEOREMAS
Simplificar la siguiente expresión booleana:

F=A’B+(ABC)’+C(B’+A)

Expresión simplificada Teorema


aplicado
F=A’B+A’+B’+C’+C(B’+A) 7
F=A’B+A’+B’+C’+CB’+CA 8
F=A’B+A’+B’+CB’+C’+CA 5
F=A’(B+1)+B’+CB’+C’+CA 8
F=A’(B+1)+B’(1+C)+C’+CA 8
F=A’1+B’(1+C)+C’+CA 1
F=A’+B’(1+C)+C’+CA 2
F=A’+B’1+C’+CA 1
F=A’+B’+C’+CA 2
F=A’+B’+C’+A 11
F=(A+A’)+B’+C’ 6
F=1+B’+C’ 4
F=(1+B’)+C’ 1
F=1+C’ 1
F=1 1
Álgebra booleana Ing. Jose Eduardo Aguirre

SIMPLIFICACIÓN DE
EXPRESIONES BOOLEANAS
MEDIANTE MAPAS DE
KARNAUGH

• Creados en 1950 por Maurice Karnaugh


(físico y matemático de los Laboratorios
Bell).
• Evita hacer cálculos (aprovecha la capacidad
humana del reconocimiento de patrones).
• Son representaciones bidimensionales de la
tabla de verdad de la función a simplificar
• Un mapa es un diagrama compuesto de
celdas, donde cada una representa un
minitérmino
• La cantidad de celdas del mapa es 2n; donde
n representa la cantidad de variables
• Se recomiendan para expresiones de hasta 6
variables
• Generan expresiones en una de las formas
estándar: suma de productos ó producto de
sumas
Álgebra booleana Ing. Jose Eduardo Aguirre

EJERCICIO
• Simplificar la función
f = X’Y’Z’ + X’Y’Z + X’YZ’ + XY’Z’ + XYZ’
como una suma de productos
• Tabla de verdad
X Y Z f
0 0 0 1
0 0 1 1
0 1 0 1
0 1 1 0
1 0 0 1
1 0 1 0
1 1 0 1
1 1 1 0

• Mapa y agrupar

• Solución: f = Z’ + XY

Unitec 32 20-1
Álgebra booleana Ing. Jose Eduardo Aguirre

COMPUERTAS LÓGICAS
• Es una representación gráfica de una o más variables
de entrada a un operador lógico para obtener como
resultado una señal determinada de salida.

Unitec 34 20-1
Álgebra booleana Ing. Jose Eduardo Aguirre

REPRESENTACIÓN DE
EXPRESIONES CON COMPUERTAS
LÓGICAS
Álgebra booleana Ing. Jose Eduardo Aguirre

Unitec 36 20-1
Álgebra booleana Ing. Jose Eduardo Aguirre

CÓMO DETERMINAR LA SEÑAL


DE SALIDA DE UN CIRCUITO

CIRCUITOS INTEGRADOS

Unitec 37 20-1
Álgebra booleana Ing. Jose Eduardo Aguirre

CIRCUITOS INTEGRADOS DE
COMPUERTAS LÓGICAS

Unitec 38 20-1
Álgebra booleana Ing. Jose Eduardo Aguirre

OTRO SOFTWARE PARA EL


DISEÑO DE CIRCUITOS:
ATANUA

Descargar en:

http://atanua.softbull.com/
Álgebra booleana Ing. Jose Eduardo Aguirre

CÓMO ARMAR CIRCUITOS EN UN


PROTOBOARD

Unitec 43 20-1
Álgebra booleana Ing. Jose Eduardo Aguirre

BIBLIOGRAFÍA

• Constantini, Sandro. Mapas de Karnaugh. Universidad


Metropolitana, Venezuela. Recuperado el 13 de octubre
del 2011 de:
http://medusa.unimet.edu.ve/sistemas/bpis03/mdkrep
resentacion.htm
• Mano, Morris. Diseño digital. Tercera edición. Editorial
Pearson-Prentice Hall. 2003.
• Jiménez Murillo, José A. Matemáticas para la
computación. Primera edición. Editorial AlfaOmega.
2009.
• Ortega González, Luisa Stephany & Arcos García, José
Emanuel. Tutorial para la elaboración de funciones
mediante la utilización de mapas de Karnaugh y tablas
de verdad. Tecnológico de Estudios Superiores de
Ecatepec, México. Recuperado el 13 de octubre de
2011 de http://www.youtube.com/watch?v=DwdyHY3-
nGs
• Tocci, Ronald J. Sistemas digitales. Principios y
aplicaciones. Tercera edición. Editorial Prentice Hall.
1987.
• Turón, Angelines. Mapas de Karnaugh. Universidad
Politécnica de Madrid, España. Recuperado el 12 de
octubre de 2011 de
http://www.dma.fi.upm.es/java/matematicadiscreta/ka
rnaugh/metodokar.htm

Unitec 44 20-1

También podría gustarte