7.

7 SIMPLIFICACIÓN DE LAS FUNCIONES LÓGICAS MEDIANTE EL MÉTODO QUINE

Mc Cluskey
Este método de minimización se usa para funciones de varias variables cinco, seis, etc.
1. Dada la tabla de verdad o la forma canónica de la suma serán todos los minterminos a
valor 1 en grupos que tengan el mismo número de unos, y se reportan tales grupos un
orden creciente. ( Grupo 0, Grupo 1,……etc.)
2. Se confrontan sistemáticamente los términos de un grupo con aquel grupo
inmediatamente superior, eliminando las variables que cambian de valor en la suma
Booleana. Es muy importante decir que la simplificación por el valor de una sola
variable.
3. Así sucesivamente se van formando nuevos subgrupos hasta que los términos no sean
mas reducibles, en este caso se llaman PRIMEROS IMPLICANTES y son indicados
con letras mayúsculas In n=1,2,3,……
4. Se asocia cada línea vertical a un mintermini y a cada línea horizontal a un Primero
Implicante, y se forma el retículo, en la que se señalará con x todos aquellos
minterminos que son contenidos o cubiertos de cada simplificante primario.
5. La función simplificada Y será la suma de los primeros implicantes que cubran una línea
horizontal llena con x.

1. Minimizar la función Y en suma Canónica.

𝑌 = 𝐴𝐵𝐶 + 𝐴𝐵𝐶 + 𝐴𝐵𝐶 + 𝐴𝐵𝐶 + 𝐴𝐵𝐶

A B C Y m Grupo 0 𝑚0 0 0 0
0 0 0 1
Grupo 1 𝑚2 0 1 0 Con 1 variable
0 0 1 0 𝑚4 1 0 0
0 1 0 1
0 1 1 0 Grupo 2 𝑚6 1 1 0 Con 2 variables
1 0 0 1 𝑚4
1 0 1 0 Grupo 3 𝑚7 1 1 1 Con 3 variables
1 1 0 1
1 1 1 1

Grupo 0 𝑚0 0 0 0 (𝑚0, 𝑚2) 0–0 (𝑚0, 𝑚2, 𝑚4, 𝑚6) --0 I1

(𝑚0, 𝑚4) –00 (𝑚0, 𝑚4, 𝑚2, 𝑚6) --0 I1
Grupo 1 𝑚2 0 1 0 (𝑚2, 𝑚6) –10
𝑚4 1 0 0 (𝑚4, 𝑚6) 1–0
Grupo 2 𝑚6 1 1 0
(𝑚6, 𝑚7) 1 1 – I2
Grupo 3 𝑚7 1 1 1
𝑚0 𝑚2 𝑚4 𝑚6 𝑚7

I1
Y=I1 + I2 = 𝐶̅ + AB
I2
Por el método de Karnaugh
AB
C 00 01 11 10
0 𝐶
1 1 1 1
Y=𝐶̅ + AB
1 1

AB
2. Hallar la función Y
m0 m2 m4 m6 m7 m8 m9

I1
Y= I1 + I2
I2
Y= I1 + I3
I3

3. Simplificar Y por medio del Método de Quine Mc Klusky

𝑌 = 𝐴𝐵𝐶𝐷 + 𝐴𝐵𝐶𝐷 + 𝐴𝐵𝐶𝐷 + 𝐴𝐵𝐶𝐷 + 𝐴𝐵𝐶𝐷 + 𝐴𝐵𝐶𝐷 + 𝐴𝐵𝐶𝐷

A B C D Y m
0 0 0 0 1 𝒎𝟎
Grupo 0 𝑚0 0 0 0 0 (𝑚0, 𝑚1) 0 0 0 – (𝑚0 𝑚1, 𝑚8 𝑚() – 0 0 -
0 0 0 1 1 𝒎𝟏
I1
(𝑚0, 𝑚8) – 0 0 0 (𝑚0 𝑚8, 𝑚1 𝑚() – 0 0 -
0 0 1 0 0
0 0 1 1 0
Grupo 1 𝑚1 0 0 0 1 (𝑚1, 𝑚9) – 0 0 1 (𝑚9, 𝑚11) 1 0 - 1
0 1 0 0 0
𝑚8 1 0 0 0 (𝑚8, 𝑚9) 1 0 0 –
0 1 0 1 0 I2
0 1 1 0 0
0 1 1 1 0 Grupo 2 𝑚9 1 0 0 1. (𝑚9, 𝑚11) 1 0 – 1 (𝑚11, 𝑚15) 1 – 1 1 I3
1 0 0 0 1 𝒎𝟖 (𝑚14, 𝑚15) 1 1 1 – I4
1 0 0 1 1 𝒎𝟗
1 0 1 0 0 Grupo 3 𝑚11 1 0 1 1 (𝑚11, 𝑚15) 1 – 1 1
1 0 1 1 1 𝒎𝟏𝟏 𝑚14 1 1 1 0 (𝑚14, 𝑚15) 1 1 1 –
1 1 0 0 0
1 1 0 1 0 Grupo 4 𝑚15 1 1 1 1
1 1 1 0 1 𝒎𝟏𝟒
1 1 1 1 1 𝒎𝟏𝟓
 m0 m1 m8 m9 m11 m14 m15

I1
Y = I1 + I2 + I4
I2 Y = 𝐵$𝐶̅ + A𝐵$D + ABC

I3 Y = I1 + I3 + I4
Y = 𝐵$𝐶̅ + ACD + ABC
I4

7.8 CIRCUITOS DIGITALES

1. Análisis del Problema o Aplicación

2. TABLA de VERDAD
3. Determinación de las Funciones Lógicas
4. Simplificación de las Funciones Lógicas
5. Implementación del Circuito Digital

A) EJEMPLO
1. PROBLEMA
Proyectar una red lógica capaz de regular la partida de tres trenes A,B,C de una estación,
teniendo en cuenta que la pregunta de vía libre se indica con 1, tal que el tren A tiene
prioridad respecto al tren B y el tren B tiene prioridad respecto al tren C. La señal de vía
libre indicada con 1 debe der efectuada por medio de tres semáforos 𝑌𝐴 𝑌𝐵 𝑌𝐶 instalado a
cada uno de los andenes.

2. TABLA DE VERDAD

A B C 𝒀𝑨 𝒀𝑩 𝒀𝑪
0 0 0 0 0 0
0 0 1 0 0 1
0 1 0 0 1 0
0 1 1 0 1 0
1 0 0 1 0 0
1 0 1 1 0 0
1 1 0 1 0 0
1 1 1 1 0 0

3. FUNCIONES LOGICAS

𝑌𝐴 = 𝐴𝐵$𝐶̅ + 𝐴𝐵$𝐶 + 𝐴𝐵𝐶̅ + 𝐴𝐵𝐶

𝑌𝐵 = 𝐴̅𝐵𝐶̅ + 𝐴̅𝐵𝐶
𝑌𝐶 = 𝐴̅𝐵$𝐶
4. SIMPLIFICACION DE FUNCIONES LOGICAS

𝑌𝐴 = 𝐴𝐵$𝐶̅ + 𝐴𝐵$𝐶 + 𝐴𝐵𝐶̅ + 𝐴𝐵𝐶 = 𝐴𝐶̅ (𝐵$ + 𝐵) + 𝐴𝐶 (𝐵$ + 𝐵) = 𝐴𝐶̅ + 𝐴𝐶 = 𝐴 (𝐶̅ + 𝐶) = 𝐴

𝑌𝐵 = 𝐴̅𝐵𝐶̅ + 𝐴̅𝐵𝐶 = 𝐴̅ 𝐵 (𝐶̅ + 𝐶) = 𝐴̅ 𝐵
𝑌𝐶 = 𝐴̅𝐵$𝐶

5. CIRCUITO DIGITAL CON UN SOLO TIPO DE PUERTA

B) EJEMPLO
1. PROBLEMA
2. TABLA DE VERDAD
A B C D 𝒀𝑨 𝒀𝑩 𝒀𝑪
0 0 0 0 0 1 0
0 0 0 1 0 1 1
0 0 1 0 1 0 0
0 0 1 1 1 0 1
0 1 0 0 0 0 0
0 1 0 1 1 0 0
0 1 1 0 0 0 1
0 1 1 1 1 0 1
1 0 0 0 0 1 0
1 0 0 1 0 1 0
1 0 1 0 0 0 1
1 0 1 1 0 1 1
1 1 0 0 1 0 0
1 1 0 1 1 0 0
1 1 1 0 1 1 0
1 1 1 1 1 1 1

3. FUNCIONES LOGICAS
𝑌𝐴 = 𝐴̅𝐵$𝐶𝐷
) + 𝐴̅𝐵$𝐶𝐷 + 𝐴̅𝐵𝐶̅ 𝐷 + 𝐴̅𝐵𝐶𝐷 + 𝐴𝐵𝐶̅ 𝐷 ) + 𝐴𝐵𝐶̅ 𝐷 + 𝐴𝐵𝐶𝐷) + 𝐴𝐵𝐶𝐷
𝑌𝐵 = 𝐴̅𝐵$𝐶̅ 𝐷 ) + 𝐴̅𝐵$𝐶̅ 𝐷 + 𝐴𝐵$𝐶̅ 𝐷
) + 𝐴𝐵$𝐶̅ 𝐷 + 𝐴𝐵$𝐶𝐷 + 𝐴𝐵𝐶𝐷 ) + 𝐴𝐵𝐶𝐷
̅ $ ̅ ̅ $ ̅ ) ̅ $
𝑌𝐶 = 𝐴𝐵𝐶 𝐷 + 𝐴𝐵𝐶𝐷 + 𝐴𝐵𝐶𝐷 + 𝐴𝐵𝐶𝐷 + 𝐴𝐵𝐶𝐷 + 𝐴𝐵𝐶𝐷 + 𝐴𝐵𝐶𝐷 ) $

4. SIMPLIFICACION DE FUNCIONES LOGICAS

𝑌𝐴 = 𝑌𝐵 = 𝑌𝐶 =
6. CIRCUITO DIGITAL

a. CON DIFERENTES PUERTAS

b. CON UN SOLO TIPO DE PUERTA

C) EJEMPLO DADAS LAS FUNCIONES LOGICAS:

𝑌𝐴 = 𝐴̅𝐵$𝐶 + 𝐴̅𝐵$𝐷 + 𝐴̅𝐶̅ 𝐷 + 𝐵𝐶𝐷

𝑌𝐵 = 𝐴̅𝐵$𝐶̅ + 𝐴̅𝐵$𝐷 + 𝐴𝐶̅𝐷) + 𝐵$𝐶̅ 𝐷
̅ ̅
𝑌𝐶 = 𝐵$𝐶 𝐷 + 𝐴𝐶𝐷 + 𝐴𝐵𝐷 ̅ ) + 𝐴̅𝐵𝐶

DETERMINAR:

1. TABLA DE VERDAD

2. SIMPLIFICAR LAS FUNCIONES LOGICAS

3. CIRCUITO DIGITAL

a. CON DIFERENTES PUERTAS

b. CON UN SOLO TIPO DE PUERTA

D) EJEMPLO DADOS LOS CIRCUITOS LOGICOS:

A B C
1. DETERMINAR LA FUNCION LOGICA Y = f(A,B,C,)
Y=𝐷 ) ((A+B) C + AB) = 𝐷) (AC+BC+AB) = 𝐷 ) AC + 𝐷
) BC + 𝐷
) AB
Y=𝐷 ) BC (A+𝐴̅) + 𝐷
) AC (B+𝐵$) + 𝐷 ) AB (C+𝐶̅ )
Y = ABC𝐷 ) + A𝐵$C𝐷
) +ABC𝐷) +𝐴̅BC𝐷) +ABC𝐷) +AB𝐶̅ 𝐷) = ABC𝐷 ) +𝐴̅BC𝐷
) + A𝐵$C𝐷 ) +AB𝐶̅ 𝐷
)

2. TABLA DE VERDAD

3. SIMPLIFICAR LA FUNCION LOGICA

4. CIRCUITO DIGITAL CON UN SOLO TIPO DE PUERTA