Documentos de Académico
Documentos de Profesional
Documentos de Cultura
Espacio booleano
La variable x cambia de valor mientras que w,y,z permanecen inalterables esto significa
que x puede ser eliminada de la expresión booleana (términos pintados de amarillo);
por otra parte el término pintado de celeste puede ser simplificado utilizando
nuevamente el segundo término pintado de amarillo, donde se factoriza las variables
wxz.
Este proceso se cumple para cualquier par de puntos adyacentes en los diferentes
cubos- 𝑛.
• Implicantes
Método Algebraico
Ejemplo 1
Observando cada uno de los términos se puede ver que hay factores comunes: en el 2º
y 5º términos donde el producto de las variables b y c se repite, en los términos 4º y 5º
se repite a̅c lo que luego de aplicar la distributividad lleva a :
Es importante notar en el paso anterior que el término 5º se utiliza dos veces, esto se
justifica por la aplicación del postulado de idempotencia; ahora se utilizará el elemento
simétrico para obtener:
Se suele poner parte de las variables de la función en la cabecera de la matriz con sus
respectivas combinaciones y en la parte de más a la izquierda como una primera
columna con las combinaciones respectivas el resto de las variables, en ambos casos
siempre siguiendo la condición mencionada en el anterior párrafo; también es habitual
poner las combinaciones de los valores binarios que toman las diferentes variables y los
valores en decimal al que corresponde cada casilla de la matriz.
Con fines de una mayor explicación a continuación, se puede observarse los mapas, para
dos, tres y cuatro variables, con todas las combinaciones posibles de las variables, sus
valores en binario y el valor en decimal al que corresponde cada casilla.
La disposición de las variables en los mapas K, no son fijos se pueden poner en columnas
o filas, el único requisito es mantener la regla de adyacencia o distancia 1 y las variables
que van juntas deben corresponder a bits consecutivos: 1111 es abcd, no las puedo
separar indiscriminadamente o sea ac y bd sería una separación errónea.
ഥ
𝑨 𝑨 ഥ𝑩
𝑨 ഥ 𝑨 ഥ
ഥ 𝑩 𝑨𝑩 𝑨𝑩 ഥ𝑩
𝑨 ഥ 𝑨 ഥ
ഥ 𝑩 𝑨𝑩 𝑨𝑩
0 1 00 01 11 10 00 01 11 10
ഥ
𝑩 ഥ
𝑪 ഥ𝑫
𝑪 ഥ
0 0 2 0 0 2 6 4 00 0 4 12 8
𝑩 𝑪 ഥ𝑫
𝑪
1 1 3 1 1 3 7 5 01 1 5 13 9
𝑪𝑫
11 3 7 15 11
2 VARIABLES 3 VARIABLES 𝑪𝑫ഥ
10 2 6 14 10
4 VARIABLES
Es importante remarcar que la notación utilizada acá, puede ser modificada u omitir
alguna información que se considere redundante además la disposición de las variables
en las filas y columnas de los mapas es arbitraria, no siendo así la asignación de los
valores en los cuadros que dependerán estrictamente de la ubicación y combinación
exacta de las variables, tomando en cuenta que para realizar una buena asignación no
deben variar de un cuadro a otro en más de una variable; éste aspecto se justifica con la
representación del espacio booleano con hipercubos como se vio anteriormente.
Para simplificar una función lógica por el método de Karnaugh se seguirán los siguientes
pasos:
iv) La función simplificada tendrá tantos términos como lazos posea el mapa.
Cada término se obtiene eliminando la o las variables que cambien de estado
en el mismo lazo, manteniendo por lo tanto sólo las variables que en cada
lazo no cambian de valor.
Ejemplo 2
Realizando la simplificación de una misma función 𝑓 de tres variables, a partir de sus dos
formas canónicas:
De acuerdo con los pasos vistos anteriormente, el diagrama de cada función quedará
del siguiente modo:
ഥ𝑩
𝑨 ഥ 𝑨
ഥ 𝑩 𝑨𝑩 𝑨𝑩ഥ ഥ𝑩
𝑨 ഥ 𝑨 ഥ
ഥ 𝑩 𝑨𝑩 𝑨𝑩
00 01 11 10 00 01 11 10
ഥ
𝑪 1 1 1 ഥ
𝑪 0
0 0 2 6 4 0 0 2 6 4
𝑪 1 1 𝑪 0 0
1 1 3 7 5 1 1 3 7 5
La función simplificada para el caso de la SdP tendrá tres términos y dos en el PdS.
𝑓 = 𝐵̅ 𝐶̅ + 𝐴̅𝐵 + 𝐵𝐶
𝑓 = (𝐴̅ + 𝐵̅ + 𝐶)(𝐵 + 𝐶̅ )
Ejemplo 3
ഥ𝐷
Leemos el mapa: 𝑓 = 𝐵𝐶 ഥ +𝐴
ഥ 𝐷 + 𝐴𝐵𝐶
Se dice que una función está incompletamente especificada, cuando alguno(s) de sus
términos no tienen definida su salida, estas funciones pueden ser representadas en
cualquiera de sus dos formas canónicas de la manera siguiente:
ഥ𝑩
𝑨 ഥ ഥ𝑩
𝑨 𝑨𝑩 ഥ
𝑨𝑩
00 01 11 10
ഥ𝑫
𝑪 ഥ
1 1
00 0 4 12 8
ഥ𝑫
𝑪 1
1
01 5
1 13 9
𝑪𝑫 1 1 ഥ𝐷ഥ +𝐴
ഥ 𝐷 + 𝐶𝐷 + 𝐴𝐶
7
1 x 𝑓 = 𝐵𝐶
11 3 15 11
ഥ
𝑪𝑫 1 x
10 2 6 14 10
TAREA S11
ഥ𝒛̅
𝒚 ഥ𝒛
𝒚 𝒚𝒛 𝒚𝒛̅ ഥ𝒛̅
𝒚 𝒚𝒛̅ 𝒚𝒛 ഥ𝒛
𝒚
00 01 11 10 00 10 11 01
ഥ ഥ𝒙
𝒘 ഥ ഥ𝒙
𝒘
00 00
ഥ𝒙
𝒘 ഥ
𝒘𝒙
01 10
𝒘𝒙 𝒘𝒙
11 11
ഥ
𝒘𝒙 ഥ𝒙
𝒘
10 01
2. Sean las soluciones del ejemplo 2: por min términos y por Max términos. Verificar
que son la misma función.
𝑓 = 𝐵̅ 𝐶̅ + 𝐴̅𝐵 + 𝐵𝐶
𝑓 = (𝐴̅ + 𝐵̅ + 𝐶)(𝐵 + 𝐶̅ )
𝑓 = ∑𝑚𝑖 𝑛 (1,3,4,5,7,12,14,15)