Inf3 GR2Herrera-Quiros CPR2
Inf3 GR2Herrera-Quiros CPR2
Inf3 GR2Herrera-Quiros CPR2
SIMPLIFICACIÓN DE FUNCIONES
Herrera Olga George Boole, matemático inglés del siglo XIX, inventó
el álgebra binaria o lógica que lleva su nombre: “Álgebra
Quiros Christian
booleana”. Carlos Novillo MonteroCanÁlgebra de Boole El
Álgebra de Boole utiliza variables que tienen solo dos
valores posibles, esto lo sintetizó Shannon usando
ideas que inicialmente las expresó el matemático
11 NOV 2018
inglés: George Boole. A diferencia de 1 las variables del
álgebra común [que pueden tomar un número infinito de
Resumen—Implantación de métodos de simplificación valores en un rango determinado], una variable
de funciones, tales como Algebra de Boole y Mapas K. en booleana, por ejemplo A, puede tomar solamente 2
las funciones dadas, para obtener el mínimo de compuertas valores, que generalmente se los relaciona con
como resultado de la función F1 y F2. Las dos formas de
VERDADERO y FALSO. Sin embargo, se les puede
simplificar la función son por mínimos y máximos
utilizando Mapas K. La universalidad de compuertas AON,
asignar otros valores, tal como: caliente/frío,
NAND Y NOR representan el resultado las funciones macho/hembra, alto/bajo, etc. Para representar los 2
simplificados y teóricamente implementadas en Proteus. posibles valores de las variable booleanas se utilizan
los símbolos 0 y 1. Generalmente A = 1 significa que
Abstract— Implementation of simplification methods of A es VERDADERO en un sentido booleano, mientras
functions, such as Boolean Algebra and Maps K. in the que A = 0 indica que A es FALSO. Entonces una
given functions, to obtain the minimum number of doors variable booleana puede estar relacionada a algún ítem
because of the function F1 and F2. The two ways of de información, por ejemplo, A = 1,significa que un
simplifying the function are by minimum and maximum interruptor asociado con A está abierto y A = 0
using maps of K. The universality of the AON, NAND and significa que el mismo interruptor está cerrado. Otra
NOR gates represents the result of the simplified and variable, B, puede relacionar sea la temperatura de
theoretically implemented functions in Proteus. una habitación, siendo VERDADERA cuando la
temperatura exceda los 21°C y FALSA en otro caso o
I. MARCO TEORICO viceversa. [1]
El mapa-Kes un método gráfico para visualizar de El Álgebra de Boole utiliza variables que tienen solo dos
mejor manera la tabla de verdad [tabla de función de valores posibles, esto lo sintetizó Shannon usando ideas
una función booleana. Está diseñada de tal manera que que inicialmente las expresó el matemático inglés: George
facilítala agrupación de los términos mínimos [o Boole. A diferencia de 1 las variables del álgebra común
maxterms]que puedan combinarse para obtener la [que pueden tomar un número infinito de valores en un
función más simplificada. También se puede decir que el rango determinado], una variable booleana, por ejemplo,
mapa-Kes un conjunto universal dividido en tantas A, puede tomar solamente 2 valores, que generalmente
partes[subconjuntos] como el máximo número de se los relaciona con VERDADERO y FALSO. Sin
minterms [o maxterms] pueda tener la función embargo, se les puede asignar otros valores, tal como:
booleana. Entonces, para una función de n-variables de caliente/frío, macho/hembra, alto/bajo, etc. Para
entrada, el mapa-Ktendrá 2 subconjuntos, donde cada representar los 2 posibles valores de las variables
subconjunto representa un minterm [o maxterm]. [1] booleanas se utilizan los símbolos 0 y 1. Generalmente
A = 1 significa que A es VERDADERO en un sentido
booleano, mientras que A = 0 indica que A es FALSO.
Entonces una variable booleana puede estar relacionada
a algún ítem de información, por ejemplo, A = 1, significa
que un interruptor asociado con A está abierto y A = 0
significa que el mismo interruptor está cerrado. Otra
variable, B, puede relacionarse a la temperatura de una
habitación, siendo VERDADERA cuando la temperatura
exceda los 21°C y FALSA en otro caso o viceversa. [2]
A B C F1 min
0 0 0 0 m0
0 0 1 0 m1
0 1 0 1 m2
0 1 1 0 m3
1 0 0 1 m4
1 0 1 1 m5
1 1 0 1 m6
1 1 1 1 m7
Tabla 1 Tabla de verdad F1.
VII. ANEXOS
F1= A+BC̅
_____
_____
F1= A+BC̅
_____
F1= A̅(BC̅)
Ecuación 4 Implementación de
teoremas fundamentales en F1.