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”
 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.
2.5.1 POSTULADOS
Postulados de Huntington:
SUMA LÓGICA PRODUCTO LÓGICO
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.
 2.5 ÁLGEBRA DE BOOLE

2.5.3 PROPOSICIONES ELEMENTALES

Idempotencia
Complementos
Identidades
Elementos nulos

Involución
7
2.5.3 PROPOSICIONES ELEMENTALES

8
2.5.4 LEYES FUNDAMENTALES
Ley Conmutativa

Ley Asociativa

Ley Distributiva
2.5.5 TEOREMAS
Teorema de Absorción (Cobertura)
� + �. � = � � ∙ (� + �) = �
Teorema de Redundancia

� + �ത . � = � + � �ത + � = �. �
�∙
Teorema de Consenso

(� + �)(� + �)(�ത + �) = (� + �) 10
 �∙�+�∙�+ �ത. � = � ∙ � + �ത.

(� + �)(� + �)(�ത + �) = (� + �) 11
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
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)
 2.5 ÁLGEBRA DE BOOLE

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.
• Simplifcar las funciones, implementarlas nuevamente con compuertas A-O-N.
• Obtener las respectivas Tablas de verdad

1. F (A,B,C)= [A�ത (C + BD) + ��ത ]C

2. F<X,Y,Z>=(� + �) + �ത�. � + �ത + � + �ധ