Métodos de Reducción
Métodos de Reducción
Métodos de Reducción
Métodos de Reducción
Profesor
Alexander Espinosa García
CONTENIDO
Métodos de Reducción
3
1. Tabla de Verdad
Tabla 1
2. Método de Algebra de Boole 4
2.1 Puertas Lógicas Elementales 4
Figura 1
2.2 Mintermino 5
2.3 Maxtermino 5
Tabla 2
5
2.4 Reducción con Algebra de Boole
2.5 Postulados 6
2.6 Leyes y Postulados 6
2.7 Ejemplos utilizando algebra de Boole 7
2.8 Conclusiones y Bibliografías 11
METODOS DE REDUCCIÓN
Funciones Booleanas
El álgebra de Boole provee las operaciones y las reglas para trabajar con el conjunto {0, 1}.
Los dispositivos electrónicos pueden estudiarse utilizando este conjunto y las reglas
asociadas al álgebra de Boole. Las tres operaciones utilizadas más comúnmente son
complemento, suma booleana (OR) y producto (AND).
La función lógica es aquella que relaciona las entradas y salidas de un circuito lógico.
Puede expresarse mediante:
1. Tabla de verdad:
La tabla de verdad es utilizada para la simplificación de circuitos digitales. Es una
tabla que representa un circuito lógico que da como resultado una salida. A la
izquierda están los estados posibles de las entradas y a la derecha los estados
correspondientes a la salida. Además, utiliza la lógica 1 para verdadero y 0 para
falso. Para calcular la cantidad de combinaciones posibles de una tabla de verdad
hacemos uso de la formula 2n (Donde n será la cantidad de entradas).
Ejemplo:
Hallar la tabla de verdad de la siguiente función.
Tabla 1
Entradas Salida
a b c ¬a ¬b a¬bc ¬abc ¬a¬bc a¬bc + ¬abc + ¬a¬bc
0 0 0 1 1 0 0 0 0
0 0 1 1 1 0 0 1 1
0 1 0 1 0 0 0 0 0
0 1 1 1 0 0 1 0 1
1 0 0 0 1 0 0 0 0
1 0 1 0 1 1 0 0 1
1 1 0 0 0 0 0 0 0
1 1 1 0 0 0 0 0 0
4
2.2 Mintermino
Para una función booleana de n variables, un producto booleano en el que
cada una de las n variables aparece una sola vez (negada o sin negar) es
llamado mintermino. Es decir, un mintermino es una expresión lógica de n
variables consistente únicamente en el operador conjunción lógica (AND) y el
operador complemento o negación (NOT).
2.3 Maxtermino
Es una expresión lógica de n variables que consiste únicamente en la
disyunción lógica y el operador complemento o negación. Los maxtermino son
una expresión dual de los mintermino. Utilizamos operaciones OR y
procedemos de forma similar.
Tabla 2
ENTRADAS SALIDA
a b y
0 0 1 Mintermino
1 0 0 Maxtermino
0 1 1 Mintermino
1 1 0 Maxtermino
Observamos que las filas con resultado 1 son la primera y la tercera,
entonces podremos escribir:
Observamos que las filas que tiene como salida un 0 son la segunda y
la cuarta, entonces podemos escribir:
- Max = (a+b)*(a+b)
2.5 Postulados
6
a) Identidad
Postulado 1: A + 0 = A
Postulado 2: A * 1 = A
b) Nulos
Postulado 3: A + 1 = 1
Postulado 4: A * 0 = 0
c) Identidad
Postulado 5: A + A = A
Postulado 6: A * A = A
d) Doble Negación
Postulado 7: A = A
e) Complementos
Postulado 8: A + A = 1
Postulado 9: A * A = 0
f) Ley Conmutativa
- A+B=B+A
- A*B=B*A
g) Ley Asociativa
- (A + B) + C = A + (B + C)
- (A * B) * C = A * (B * C)
h) Ley Distributiva
Solo aplica para el algebra de Boole.
- A + (B * C) = (A + B) * (A + C)
- A * (B + C) = (A * B) + (A * C))
i) Ley de la Absorción
- A + (A * B) = A
- A * (A + B) = A
j) Leyes de Morgan
- (A+B) = A * B
- (A*B) = A + B
2.7 Ejemplos utilizando algebra de Boole.
7
Para poder comprobar que este resultado es correcto, realizaremos la tabla de verdad de
C(B+A) y se comparara con la Tabla 1.
b) Ejemplos de simplificación
9
Conclusiones
10
Bibliografía
https://angelmicelti.github.io/4ESO/EDI/33_lgebra_de_boole.html
https://www.infor.uva.es/~jjalvarez/asignaturas/fundamentos/lectures/digital/
Tema2_combinacionales.pdf
http://sedici.unlp.edu.ar/bitstream/handle/10915/3835/B_-
_Funciones_booleanas.pdf?sequence=10&isAllowed=y
https://www.infor.uva.es/~jjalvarez/asignaturas/fundamentos/lectures/digital/
Tema2_combinacionales.pdf
https://www.ingmecafenix.com/electronica/algebra-booleana/#:~:text=El
%20%C3%A1lgebra%20booleana%20o%20tambi%C3%A9n,presente%20dentro%20de
%20los%20sistemas
http://sedici.unlp.edu.ar/bitstream/handle/10915/3835/B__Funciones_booleanas.pdf?
sequence=10&isAllowed=y
Este método se basa en dos teoremas básicos del Algebra de Boole, estos
son los siguientes.
a) AB + AB = B
b) A + AB = A + B
Para simplificar una función booleana se debe tomar en cuenta que mientras más
grande es el agrupamiento más cantidad de variables se eliminan así, si el grupo es
de 2 unos entonces se elimina una variable, si el grupo es de 4 unos se eliminan 2
variables, y así continuamente.
ab
c 00 01 11 10
0 0 0 0 0
1 1 1 0 1
F = AC + BC = C (B + A)
Conclusiones
Podemos concluir que el mapa de Karnaugh es como una tabla de verdad
en la que cada cuadrado representa un mintermino. Es un método de
reducción muy optimo que facilita la simplificación de funciones
booleanas. Gracias a este método se pueden graficar expresiones
13
Bibliografía
https://www.cartagena99.com/recursos/alumnos/apuntes/Tema%203%20-
%20Algebra%20de%20Boole.pdf
https://automatizaciondigital.wordpress.com/mapas-de-karnaugh/
https://www.mecatronicalatam.com/es/tutoriales/teoria/algebra-booleana/
mapa-de-karnaugh/