CIRCUITOS LÓGICOS

Alan D. Cuenca S.
alan.cuenca@epn.edu.ec
Escuela de Formación de Tecnólogos
Escuela Politécnica Nacional

Semestre 2018 - A
 CAPÍTULO 2 : CIRCUITOS SSI

2.5 Álgebra de Boole

2.5.1 Postulados
2.5.2 Principios
2.5.3 Proposiciones
2.5.4 Leyes
2.5.5 Teoremas

2
 2.5 ÁLGEBRA DE BOOLE

“El Álgebra de Boole son las

matemáticas de los sistemas digitales”
3
 2.5 ÁLGEBRA DE BOOLE

 Postulado: Verdad evidente que no necesita demostrarse.

 Principio: Es una base de ideales, fundamentos, reglas y/o
políticas de la cual nacen las ideologías y teorías.
 Proposiciones: El lenguaje formal de la lógica simbólica por el
cual están regidas todas las leyes de esta matemática que utiliza la
simbología como su principal fuente de estudio.
 Leyes: Regla o Norma.
 Teorema: Proposición científica que se puede demostrar.
 Identidad: Igualdad cuyos miembros son idénticos.
4
 2.5 ÁLGEBRA DE BOOLE

2.5.1 POSTULADOS
Postulados de Huntington:
SUMA LÓGICA PRODUCTO LÓGICO

5
 2.5 ÁLGEBRA DE BOOLE

2.5.2 PRINCIPIOS
Principio de Dualidad:
 Cada teorema tiene un dual que se puede obtener así:
 Intercambiando los operadores AND y OR de las expresiones.
 Intercambiando los elementos 0 y 1 de las expresiones.
 La forma de las variables (si las hubiera) NO cambia.

6
 2.5 ÁLGEBRA DE BOOLE

2.5.3 PROPOSICIONES ELEMENTALES

Idempotencia
Complementos
Identidades
Elementos nulos

Involución
7
 2.5 ÁLGEBRA DE BOOLE

2.5.3 PROPOSICIONES ELEMENTALES

8
 2.5 ÁLGEBRA DE BOOLE

2.5.4 LEYES FUNDAMENTALES

Ley Conmutativa

Ley Asociativa

Ley Distributiva
9
 2.5 ÁLGEBRA DE BOOLE

2.5.5 TEOREMAS
Teorema de Absorción (Cobertura)

𝑋 + 𝑋. 𝑌 = 𝑋 𝑋 ∙ (𝑋 + 𝑌) = 𝑋
Teorema de Redundancia
ത 𝑌 =𝑋+𝑌
𝑋 + 𝑋. 𝑋 ∙ 𝑋ത + 𝑌 = 𝑋. 𝑌
Teorema de Consenso
ത 𝑍 = 𝑋 ∙ 𝑌 + 𝑋.
𝑋 ∙ 𝑌 + 𝑌 ∙ 𝑍 + 𝑋. ത 𝑍
(𝑋 + 𝑌)(𝑌 + 𝑍)(𝑋ത + 𝑍) = (𝑋 + 𝑌)(𝑋ത + 𝑍) 10
 2.5 ÁLGEBRA DE BOOLE

2.5.5 TEOREMAS
Teorema Combinación

𝑋 ∙ 𝑌 + 𝑋 ∙ 𝑌ത = 𝑋 ത =𝑋
(𝑋 + 𝑌)(𝑋 + 𝑌)
Teorema De Morgan

𝑋 ∙ 𝑌 = 𝑋ത + 𝑌ത 𝑋 + 𝑌 = 𝑋ത ∙ 𝑌ത
Teorema de Expansión de Shannon
𝐹 𝑋1 , … , 𝑋𝑛 = 𝑋1 ∙ 𝐹 1, … , 𝑋𝑛 + 𝑋ത1 ∙ 𝐹 0, … , 𝑋𝑛
𝐹 𝑋1 , … , 𝑋𝑛 = [𝑋1 +𝐹 0, … , 𝑋𝑛 ][𝑋ത1 + 𝐹 1, … , 𝑋𝑛 ] 11
 2.5 ÁLGEBRA DE BOOLE

2.5.5 TEOREMAS

1. Expandir la función simplificada aplicando el teorema de

Expansión de Shannon.

ҧ
F<A,B,C>= 𝐴 + B𝐶 ҧ

12
 2.5 ÁLGEBRA DE BOOLE

EJERCICIOS
1. Utilizando compuertas A-O-N, implementar las siguientes funciones booleanas.
Después simplificar las funciones, implementarlas con compuertas A-O-N. Comparar
los circuitos.
ത
1. F<A,B,C>= (AB + 𝐵)BC
2. F<A,B,C>= 𝐴ҧ + AB + (𝐵ത C + D )
3. F<C,B,A>=CBA + CBA ഥ + Cത BA + Cത BA
ഥ
4. F<X,Y,Z>=XY + X(Y + Z) + X(Y + Z)
5. 𝐹 < X, Y, Z >= 𝑋ത 𝑌ത + 𝑍 + 𝑍 + 𝑋𝑌 + 𝑊𝑍
 2.5 ÁLGEBRA DE BOOLE

EJERCICIOS
2. Determinar la ecuación booleana de los circuitos
DEBER:
• Utilizando compuertas A-O-N, implementar las siguientes funciones booleanas
utilizando el respectivo simulador.
• Simplificar las funciones, implementarlas nuevamente con compuertas A-O-N.
• Obtener las respectivas Tablas de verdad

ത + BD) + 𝐴ҧ𝐵]C
1. F (A,B,C)= [A𝐵(C ത

2. F<X,Y,Z>=(𝑋 + 𝑍)ҧ + 𝑋𝑌.

ത 𝑍ҧ + 𝑋ത + 𝑌 + 𝑌ധ