ACTIVIDAD #4: LÓGICA COMBINATORIA

ALEXANDER DE JESÚS MAESTRE TORRES

CC: 1065660183

DOCENTE: JOHN ALEXANDER CORREA DUARTE

IDENTIFICACIÓN Y ANÁLISIS DE CIRCUITOS INTEGRADOS Y COMPUERTAS LÓGICAS

SERVICIO NACIONAL DE APRENDIZAJE SENA

2020
 Taller sobre la lógica combinatoria

1) Simplificar las siguientes expresiones o funciones lógicas, aplicando las propiedades

de Boole y los teoremas de Morgan. Se debe realizar el paso a paso de la
simplificación, demostrando el tipo de propiedad, ley o teorema aplicado.

a- (A*B)+(A*B')

(A*B)+(A*B') // propiedad distributiva

A*(B+B') // propiedad inversa
A // La salida de la función es idéntica a la entrada A

b- (A+B)*(A+B')

(A+B)*(A+B') // propiedad distributiva

A+(B*B') // propiedad inversa
A // La salida de la función es idéntica a la entrada A

c- (C*A)+(C*A'*B)

(C*A)+(C*A'*B) // propiedad distributiva

C*(A+A'*B) // ley de absorción
C*(A+B)

d- B*(D*C' + D*C) + A*B

B*(D*C’ + D*C) + A*B // propiedad distributiva

B*D*(C'+C)+A*B // Propiedad inversa
B*D + A*B // Propiedad distributiva
B*(D+A)

e- A*B*C + A'*B + A*B*C'

A*B*C + A'*B + A*B*C' // propiedad distributiva

A*B*(C+C') + A'*B // propiedad inversa
A*B + A'*B // Propiedad distributiva
B*(A+A') // Propiedad inversa
B // La salida de la función es idéntica a la entrada B
2) Después de realizada la simplificación, construya las tablas de verdad para la función
inicial y la simplificada para comparar las salidas, que deben corresponder
perfectamente.

a- (A*B)+(A*B') = A
La salida de la función es idéntica a la entrada A

Función original

A B A*B A*B' (A*B)+(A*B')

0 0 0 0 0
0 1 0 0 0

1 0 0 1 1
1 1 1 0 1

Entrada A

A
0
0
1
1

b- (A+B)*(A+B’) = A
La salida de la función es idéntica a la entrada A

Función original

A B A+B A+B' (A+B)*(A+B')

0 0 0 1 0

0 1 1 0 0
1 0 1 1 1

1 1 1 1 1

Entrada A

0
 0
1

c- (C*A)+(C*A’*B) = C*(A+B)

Función original
A B C C*A C*A'*B (C*A)+(C*A’*B)
0 0 0 0 0 0

0 0 1 0 0 0
0 1 0 0 0 0

0 1 1 0 1 1
1 0 0 0 0 0

1 0 1 1 0 1
1 1 0 0 0 0

1 1 1 1 0 1
Función
simplificada A B C A+B C*(A+B)

0 0 0 0 0
0 0 1 0 0

0 1 0 1 0
0 1 1 1 1
1 0 0 1 0
1 0 1 1 1

1 1 0 1 0
1 1 1 1 1

d- B*(D*C’ +
D*C) + A*B = B*(D+A)

Función original

A B C D A*B D*C D*C' D*C' + B*(D*C' B*(D*C'

D*C + D*C) + D*C)
+ A*B
0 0 0 0 0 0 0 0 0 0

0 0 0 1 0 0 1 1 0 0
0 0 1 0 0 0 0 0 0 0
 0 0 1 1 0 1 0 1 0 0

0 1 0 0 0 0 0 0 0 0
0 1 0 1 0 0 1 1 1 1

0 1 1 0 0 0 0 0 0 0
0 1 1 1 0 1 0 1 1 1

1 0 0 0 0 0 0 0 0 0
1 0 0 1 0 0 1 1 0 0

1 0 1 0 0 0 0 0 0 0
1 0 1 1 0 1 0 1 0 0

1 1 0 0 1 0 0 0 0 1
1 1 0 1 1 0 1 1 1 1

1 1 1 0 1 0 0 0 0 1
1 1 1 1 1 1 0 1 1 1

Función simplificada

A B C D D+A B*(D+A)
0 0 0 0 0 0
0 0 0 1 1 0
0 0 1 0 0 0

0 0 1 1 1 0
0 1 0 0 0 0

0 1 0 1 1 1
0 1 1 0 0 0

0 1 1 1 1 1
1 0 0 0 1 0

1 0 0 1 1 0
1 0 1 0 1 0

1 0 1 1 1 0
1 1 0 0 1 1

1 1 0 1 1 1
1 1 1 0 1 1

1 1 1 1 1 1
No importa que valor adquiera C, no altera la salida de la función

e- A*B*C + A'*B + A*B*C' = B

Función original

A B C A*B*C A'*B A*B*C' A*B*C +

A'*B +
A*B*C'
0 0 0 0 0 0 0

0 0 1 0 0 0 0
0 1 0 0 1 0 1

0 1 1 0 1 0 1
1 0 0 0 0 0 0

1 0 1 0 0 0 0
1 1 0 0 0 1 1

1 1 1 1 0 0 1

Entrada B

0
0

1
1

0
0

1
 1

La salida de la función es idéntica a la entrada B

3) Dibuje el esquema lógico de la función simplificada

a- (A*B)+(A*B’) = A
Se puede considerar un buffer

b- (A+B)*(A+B’) = A
Igualmente que la expresión anterior esta también se puede considerar un
buffer
c- (C*A)+(C*A’*B) = C*(A+B)

C*(A+B)
d- B*(D*C’ + D*C) + A*B = B*(A+D)

B*(A+D)

e- A*B*C + A’*B + A*B*C’ = B

Esta también se puede considerar un buffer