Documentos de Académico
Documentos de Profesional
Documentos de Cultura
OAXACA
Investigación
Ahora para obtener F en maxi-términos tomamos donde la función sea cero y unimos los
maxi-términos con productos(producto de sumas):
F= M2*M3*M4*M6 = (x+y’+z)( x+y’+z’)( x’+y+z)(x’+y’+z)
F(x,y,z)= ∏ (2,3,4,6)
La otra manera es con unos, pero al igual que con los mini-términos obtendríamos F’
F’= M0*M1*M5*M7= (x+y+z)( x+y+z’)( x’+y+z’)(x’+y’+z’)
F'(x,y,z)= ∏ (0,1,5,7)
Mapas de Karnaugh
Este método de simplificación de funciones lógicas se puede utilizar para funciones de dos
a seis variables, siendo su uso práctico para funciones de dos a cinco variables.
Este método está constituido por una cuadrícula en forma de encasillado cuyo número de
casillas depende del número de variables que tenga la función a simplificar. Cada una de las
casillas representa la distintas combinaciones adyacentes de las variables que puedan
existir.
Postulados
Postulado 1
Postulado 2
La suma lógica de una variable más un 0 lógico equivale al valor de la variable:
a+0=a
Postulado 3
El producto lógico de una variable por un 1 lógico es igual al valor de la variable:
a·l=a
Postulado 4
El producto lógico de una variable por un 0 lógico es igual a 0:
a·0=0
Postulado 5
La suma lógica de dos variables iguales equivale al valor de dicha variable:
a+a=a
Postulado 6
El producto lógico de dos variables iguales equivale al valor de dicha variable:
a·a=a
Postulado 7
La suma lógica de una variable más la misma variable negada equivale a un 1 lógico:
Postulado 8
El producto lógico de una variable por la misma variable negada equivale a un 0 lógico:
Postulado 9
Si una variable es negada dos veces, ésta no varía. Este postulado es válido para cualquier
número par de inversiones:
Otros postulados
Si se invierten los dos miembros de una igualdad, ésta no sufre ninguna variación:
Propiedades
• Propiedad conmutativa:
a+b=b+a
a·b=b·a
• Propiedad asociativa:
a + b + e = a + (b + c)
a · b · c = a · (b · c)
• Propiedad distributiva:
a · (b + c) = a · b + a · c
a + b · c = (a + b) · (a + c)
Teoremas
Los teoremas que enunciamos seguidamente podrán ser demostrados apoyándonos en los
postulados y propiedades descritos anteriormente.
Demostración:
a+a·b=a·(1+b)=a·1=a
b) a · ( a + b) = a
Demostración:
a · (a + b) = a · a + a · b = a + a · b = a
Teorema 2.
Teorema 3. Leyes de De Morgan.
Merecen especial mención las leyes de De Morgan por su gran utilidad en los procesos de
simplificación. La comprobación de estos teoremas la podrá realizar el(la) lector(a)
construyendo la tabla de la verdad:
La función F que determina los números pares de los primeros 8 números binarios esta
compuesta por 3 variables de entrada(A,B,C), F se define en la siguiente tabla:
Como podemos observar en la tabla la funcion se puede escribir como la suma de los
mimiterminos 0,2,4,6 de la sIguiente forma:
Pero al revisar el resultado vemos que la suma de cada código BCD dio como resultado un
valor binario que NO ES BCD. Por ejemplo, al sumar 0101 con 1000 se obtuvo 1101,que
no figura en la tabla BCD. Lo mismo ocurre en los casos restantes. Cuando esto ocurre,
cada resultado que no es BCD debe corregirse sumándole 0110 (que corresponde al
decimal 6). Si lo hacemos se tendrá:
Decodificadores
Realizan la función inversa de los codificadores, poseen n entradas y 2 n salidas. En este
tipo de circuito sol una salida pasar a valor 1, aquella cuyo número corresponda al valor
binario formado por los estados de las entradas.
Multiplexores y Demultiplexores
Son circuitos combinacionales con una estructura de varias entradas y una nica salida de
datos. Permiten seleccionar una de las entradas para realizar la transmisión de datos desde
dicha entrada a la salida, que es nica (un circuito que realice el trabajo inverso se denomina
Demultiplexor).
Aplicaciones
Conversor paralelo-serie
Permiten seleccionar una de entre varias líneas de datos o enviarlas informaciones de varias
líneas por una sola, dedicando un pequeño intervalo de tiempo a cada una de ellas.