LABORATORIO DE SISTEMAS DIGITALES PALLY AVILES JAIME ALFREDO

ALGEBRA DE BOOLE

OBJETIVOS.- los objetivos de este laboratorio son:

 Analizar los teoremas que presenta el álgebra de Boole

 Realizar circuitos utilizando compuertas digitales (TTL o CMOS)
 Analizar tablas de verdad y ecuaciones lógicas
 Resolver problemas reales planteados a través de circuitos digitales

FUNDAMENTO TEÓRICO.-
El álgebra de Boole establece una serie de postulados y operaciones para resolver los automatismos
o procesos a ejecutar obteniendo un conjunto de ecuaciones que deberán ser traducidos y llevados
a cabo por elementos mecánicos, neumáticos, eléctricos y electrónicos.
La "teoría de Boole" considera todos los elementos como biestables es decir, que tienen dos estados
válidos posibles y por otra parte son opuestos entre sí. Por ejemplo, el tratamiento del
Algebra de Boole permite a una lámpara incandescente ser considerada en sus dos estados únicos
posibles: encendido o apagado, un interruptor sólo podrá estar cerrado o abierto, un transistor estar
en corte o saturación, un relé: activado o desactivado. No existen estados intermedios.
El que sólo existan dos estados válidos para cada elemento en esta estructura matemática, ha
llevado a llamarla algebra Binaria y también Algebra lógica pues los razonamientos que en ella se
emplean son de carácter intuitivo y lógico.
Leyes fundamentales
El resultado de aplicar cualquiera de las tres operaciones definidas a variables del sistema booleano
resulta en otra variable del sistema, y este resultado es único.

1. A + AB ̅ = A+B ley de absorción

2. ̅ ⋅ (A + B
A ̅) = A ̅B̅ ley de absorción
3. AB + AB ̅=A ley de absorción
4. ̅+B
(A ̅ + B) = A
̅) ⋅ (A ̅ ley de absorción
5. ̿=A
A ley de involución
6. ̅ + B) = A ⋅ B
A ⋅ (A ley de absorción
7. ̅ ⋅ (A + B) = A
A ̅⋅B ley de absorción
8. (A + B) ⋅ (A + B ̅) = A ley de absorción
9. ̅̅̅̅̅̅̅
̅
A ⋅ B = (X + Y) ̅ ley generalizada de DeMorgan
10. A + B = (X ̅̅̅̅̅̅
̅⋅Y ̅) ley generalizada de DeMorgan

Principio de dualidad
El concepto de dualidad permite formalizar este hecho: a toda relación o ley lógica le corresponderá
su dual, formada mediante el intercambio de los operadores unión con los de intersección, y de los
1 con los 0.

Resolución lógica de Problemas de planteo

La fase inicial es la buena comprensión del enunciado del problema y apreciar las variables de
entrada con que se cuenta, conviene simular el problema como si se tratase de una "caja negra"
cuyas únicas entradas sean las variables y las salidas sean los resultados buscados.
Una vez comprendido el problema y determinadas las entradas y salidas se recomienda seguir las
siguientes fases de ejecución:
 Formación de la tabla de verdad. Como todos los elementos, tanto entradas como salidas
son binarios, se establecen todas las combinaciones posibles de las entradas y en cada una
de ellas se define el estado que ha de tener la salida o salidas según se deduce del análisis
de] problema.
 Obtención de las ecuaciones lógicas. Partiendo de la tabla de verdad se forman los
Mintérminos.

1
LABORATORIO DE SISTEMAS DIGITALES PALLY AVILES JAIME ALFREDO

 Simplificación de la función obtenida a través de los teoremas del algebra de Boole.

 Realización del circuito lógico y verificación de su funcionamiento.

PRE-INFORME.-

1. Realizar los circuitos lógicos para verificar el T7 para la adición y T8 para el producto.
Para ambos teoremas realice tabla de verdad.
T7 para la adición:
Tenemos la siguiente expresión A + (B ⋅ C) = (A + B) ⋅ (A + C)
Realizamos el circuito lógico

La tabla de verdad es la siguiente:

C B A 𝐁⋅𝐂 𝐀 + (𝐁 ⋅ 𝐂) 𝐀+𝐁 𝐀+𝐂 (𝐀 + 𝐁) ⋅ (𝐀 + 𝐂)

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

T8 para el producto:
Tenemos la siguiente expresión A ⋅ (A + B) = A
Realizamos el circuito lógico

2
LABORATORIO DE SISTEMAS DIGITALES PALLY AVILES JAIME ALFREDO

La tabla de verdad es la siguiente:

B A 𝐀+𝐁 𝐀 ⋅ (𝐀 + 𝐁) A
0 0 0 0 0
0 1 1 1 1
1 0 1 0 0
1 1 1 1 1

2. Para la siguiente función lógica 𝐅(𝐀, 𝐁, 𝐂) = 𝐀𝐁 + 𝐀(𝐁 + 𝐂) + 𝐁(𝐁 + 𝐂)

a) obtener la tabla de verdad.

A B C 𝐀𝐁 𝐁+𝐂 𝐀(𝐁 + 𝐂) 𝐁(𝐁 + 𝐂) 𝐅 = 𝐀𝐁 + 𝐀(𝐁 + 𝐂) + 𝐁(𝐁 + 𝐂)

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

3
LABORATORIO DE SISTEMAS DIGITALES PALLY AVILES JAIME ALFREDO

b) Dibujar el circuito lógico, para poder verificar la tabla de verdad.

c) Simplificar la función F usando algebra de Boole indicando paso a paso la ley utilizada
para simplificar la función.

Teoremas o postulados del

𝐅(𝐀, 𝐁, 𝐂) = 𝐀𝐁 + 𝐀(𝐁 + 𝐂) + 𝐁(𝐁 + 𝐂)
algebra booleana
Propiedad distributiva para la
𝐅(𝐀, 𝐁, 𝐂) = 𝐀𝐁 + 𝐀𝐁 + 𝐀𝐂 + 𝐁𝐁 + 𝐁𝐂
intersección
Reglas de potencia para
𝐅(𝐀, 𝐁, 𝐂) = 𝐀𝐁 + 𝐀𝐂 + 𝐁 + 𝐁𝐂
intersección y unión
𝐅(𝐀, 𝐁, 𝐂) = 𝐀𝐁 + 𝐀𝐂 + 𝐁 Ley de absorción

𝐅(𝐀, 𝐁, 𝐂) = 𝐀𝐂 + 𝐁 Ley de absorción

d) Obtener la tabla de verdad de la función simplificada.

A B C 𝐀𝐂 𝐅 = 𝐀𝐂 + 𝐁
0 0 0 0 0
0 0 1 0 0
0 1 0 0 1
0 1 1 0 1
1 0 0 0 0
1 0 1 1 1
1 1 0 0 1
1 1 1 1 1

4
LABORATORIO DE SISTEMAS DIGITALES PALLY AVILES JAIME ALFREDO

e) Dibujar el circuito lógico de la función simplificada

f) Considerando la función F simplificada implemente únicamente con compuertas

NAND utilizando el álgebra de Boole (teorema de DeMorgan)
Haciendo uso de las equivalencias tenemos:

̅̅̅̅̅̅̅̅̅̅ Teoremas o postulados del

𝐅(𝐀, 𝐁, 𝐂) = ̅̅̅̅
𝐀𝐂 ⋅ ̅̅̅̅
𝐁𝐁 algebra booleana
̅̅̅̅̅̅̅̅ Reglas de potencia para
𝐅(𝐀, 𝐁, 𝐂) = ̅̅̅̅
𝐀𝐂 ⋅ 𝐁̅
intersección
𝐅(𝐀, 𝐁, 𝐂) = ̿̿̿̿ ̿
𝐀𝐂 + 𝐁 Leyes de DeMorgan

𝐅(𝐀, 𝐁, 𝐂) = 𝐀𝐂 + 𝐁 Involución

Lo que demuestra que se formó la misma función simplificada con la compuerta NAND.

5
LABORATORIO DE SISTEMAS DIGITALES PALLY AVILES JAIME ALFREDO

g) Dibujar el circuito topológico (layout), del último circuito.

̅ (𝐂 + 𝐁𝐃) + 𝐀
3. Para la siguiente función lógica: 𝐅(𝐀, 𝐁, 𝐂, 𝐃) = [𝐀𝐁 ̅𝐁̅ ]𝐂
a) Obtener la tabla de verdad.

A B C D 𝐁𝐃 𝐂 + 𝐁𝐃 ̅
𝐁 ̅
𝐀𝐁 ̅ (𝐂 + 𝐁𝐃)
𝐀𝐁 ̅
𝐀 ̅𝐁
𝐀 ̅ ̅ (𝐂 + 𝐁𝐃) + 𝐀
𝐀𝐁 ̅𝐁̅ ̅ (𝐂 + 𝐁𝐃) + 𝐀
𝐅 = [𝐀𝐁 ̅𝐁̅ ]𝐂

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

b) Dibujar el circuito lógico, para poder dibujar la tabla de verdad.

6
LABORATORIO DE SISTEMAS DIGITALES PALLY AVILES JAIME ALFREDO

c) Simplificar la función F usando algebra de Boole indicando paso a paso la ley utilizada
para la simplificación.
̅ (𝐂 + 𝐁𝐃) + 𝐀̅𝐁̅ ]𝐂 Teoremas o postulados del
𝐅(𝐀, 𝐁, 𝐂, 𝐃) = [𝐀𝐁
algebra booleana
̅]𝐁̅𝐂 Propiedad distributiva para la
𝐅(𝐀, 𝐁, 𝐂, 𝐃) = [𝐀(𝐂 + 𝐁𝐃) + 𝐀
intersección
̅ ]𝐁
̅𝐂 Ley de la absorción para la
𝐅(𝐀, 𝐁, 𝐂, 𝐃) = [(𝐂 + 𝐁𝐃) + 𝐀
unión
̅)]𝐁̅𝐂 Propiedad conmutativa para
𝐅(𝐀, 𝐁, 𝐂, 𝐃) = [𝐂 + (𝐁𝐃 + 𝐀
la unión
̅𝐂
𝐅(𝐀, 𝐁, 𝐂, 𝐃) = 𝐁 Ley de absorción

d) Obtener la tabla de verdad de la función simplificada.

A B C D ̅
𝐁 ̅𝐂
𝐅=𝐁
0 0 0 0 1 0
0 0 0 1 1 0
0 0 1 0 1 1
0 0 1 1 1 1
0 1 0 0 0 0
0 1 0 1 0 0
0 1 1 0 0 0
0 1 1 1 0 0
1 0 0 0 1 0
1 0 0 1 1 0
1 0 1 0 1 1
1 0 1 1 1 1
1 1 0 0 0 0
1 1 0 1 0 0
1 1 1 0 0 0
1 1 1 1 0 0

7
LABORATORIO DE SISTEMAS DIGITALES PALLY AVILES JAIME ALFREDO

e) Dibujar el circuito lógico de la función simplificada.

f) Considerando la función F simplificada implemente únicamente con compuertas

NAND utilizando el álgebra de Boole (teorema de DeMorgan)

Haciendo uso de las equivalencias tenemos:

8
LABORATORIO DE SISTEMAS DIGITALES PALLY AVILES JAIME ALFREDO

Teoremas o postulados del

𝐅(𝐀, 𝐁, 𝐂, 𝐃) = ̅̅̅̅̅̅̅̅̅̅̅̅̅̅̅̅̅̅̅
̅̅̅̅̅̅̅̅
𝐁𝐁 ⋅ ̅̅̅̅̅̅̅̅
𝐂 ⋅ ̅̅̅̅ 𝐂 ⋅ ̅̅̅̅
𝐁𝐁 algebra booleana
Reglas de potencia para
𝐅(𝐀, 𝐁, 𝐂, 𝐃) = ̅̅̅̅̅̅̅̅
̅̅̅̅
𝐂 ⋅ 𝐁𝐁 intersección
̅̅̅̅
𝐅(𝐀, 𝐁, 𝐂, 𝐃) = 𝐂 ⋅ 𝐁𝐁 Involución

̅ Reglas de potencia para

𝐅(𝐀, 𝐁, 𝐂, 𝐃) = 𝐂 ⋅ 𝐁
intersección
̅𝐂 Propiedad conmutativa para
𝐅(𝐀, 𝐁, 𝐂, 𝐃) = 𝐁
la intercesión

Lo que demuestra que se formó la misma función simplificada con la compuerta NAND.

g) Dibujar el circuito topológico (layout), del ultimo circuito

4. Para la siguiente función lógica: 𝐅(𝐀, 𝐁, 𝐂) = ̅̅̅̅̅̅̅̅̅̅̅̅

𝐀𝐁 + 𝐀𝐂 + 𝐀 ̅𝐁
̅𝐂

a) Obtener la tabla de verdad.

A B C 𝐀𝐁 𝐀𝐂 𝐀𝐁 + 𝐀𝐂 ̅̅̅̅̅̅̅̅̅̅̅̅
𝐀𝐁 + 𝐀𝐂 ̅
𝐀 ̅
𝐁 ̅𝐁
𝐀 ̅𝐂 ̅̅̅̅̅̅̅̅̅̅̅̅
𝐅 = (𝐀𝐁 ̅𝐁
+ 𝐀𝐂) + 𝐀 ̅𝐂
0 0 0 0 0 0 1 1 1 0 1
0 0 1 0 0 0 1 1 1 1 1
0 1 0 0 0 0 1 1 0 0 1
0 1 1 0 0 0 1 1 0 0 1
1 0 0 0 0 0 1 0 1 0 1
1 0 1 0 1 1 0 0 1 0 0
1 1 0 1 0 1 0 0 0 0 0
1 1 1 1 1 1 0 0 0 0 0

9
LABORATORIO DE SISTEMAS DIGITALES PALLY AVILES JAIME ALFREDO

b) Dibujar el circuito lógico, para poder verificar la tabla de verdad.

c) Simplificar la función F usando el álgebra de Boole indicando paso a paso la ley

utilizada para la simplificación.

Teoremas o postulados del

𝐅(𝐀, 𝐁, 𝐂) = ̅̅̅̅̅̅̅̅̅̅̅̅
𝐀𝐁 + 𝐀𝐂 + 𝐀 ̅𝐁
̅𝐂
algebra booleana
Propiedad distributiva para la
𝐅(𝐀, 𝐁, 𝐂) = ̅̅̅̅̅̅̅̅̅̅̅̅
𝐀(𝐁 + 𝐂) + 𝐀 ̅𝐁
̅𝐂
intersección
̅ + ̅̅̅̅̅̅̅̅̅̅ ̅𝐁
̅𝐂 Ley de DeMorgan para la
𝐅(𝐀, 𝐁, 𝐂) = 𝐀 (𝐁 + 𝐂) + 𝐀
interseccion
̅+𝐀
̅𝐁̅ 𝐂 + ̅̅̅̅̅̅̅̅̅̅ Propiedad conmutativa para
𝐅(𝐀, 𝐁, 𝐂) = 𝐀 (𝐁 + 𝐂)
la unión
̅ + ̅̅̅̅̅̅̅̅̅̅
𝐅(𝐀, 𝐁, 𝐂) = 𝐀 (𝐁 + 𝐂) Ley de absorción

d) Obtener la tabla de verdad de la función simplificada.

A B C ̅
𝐀 𝐁+𝐂 ̅̅̅̅̅̅̅̅
𝐁+𝐂 ̅ + ̅̅̅̅̅̅̅̅
𝐅=𝐀 𝐁+𝐂
0 0 0 1 0 1 1
0 0 1 1 1 0 1
0 1 0 1 1 0 1
0 1 1 1 1 0 1
1 0 0 0 0 1 1
1 0 1 0 1 0 0
1 1 0 0 1 0 0
1 1 1 0 1 0 0

10
LABORATORIO DE SISTEMAS DIGITALES PALLY AVILES JAIME ALFREDO

e) Dibujar el circuito lógico de la función simplificada.

f) Considerando la función F simplificada implemente únicamente con compuertas

NAND, utilizando el álgebra de Boole (teorema de DeMorgan).

Haciendo uso de las equivalencias tenemos:

̅̅̅̅̅̅̅̅̅̅̅̅̅̅ Teoremas o postulados del

𝐅(𝐀, 𝐁, 𝐂, ) = ̅̅̅̅̅̅̅̅̅̅
𝐁𝐁 ⋅ ̅̅̅̅
̅̅̅̅ 𝐂𝐂 ⋅ 𝐀 algebra booleana
̅̅̅̅̅̅̅̅̅̅ Reglas de potencia para
𝐅(𝐀, 𝐁, 𝐂, ) = ̅̅̅̅̅̅
̅ ⋅ 𝐂̅ ⋅ 𝐀
𝐁 intersección
Ley DeMorgan para la
𝐅(𝐀, 𝐁, 𝐂, ) = ̅̅̅̅̅̅̅̅̅̅̅̅̅̅
(𝐁̿ + 𝐂̿) ⋅ 𝐀
intersección
𝐅(𝐀, 𝐁, 𝐂, ) = ̅̅̅̅̅̅̅̅̅̅̅̅̅̅
(𝐁 + 𝐂) ⋅ 𝐀 Involución
Ley DeMorgan para la
𝐅(𝐀, 𝐁, 𝐂, ) = ̅̅̅̅̅̅̅̅̅̅
(𝐁 + 𝐂) + 𝐀̅
intersección
̅ + ̅̅̅̅̅̅̅̅̅̅ Propiedad conmutativa para
𝐅(𝐀, 𝐁, 𝐂, ) = 𝐀 (𝐁 + 𝐂)
la unión

11
LABORATORIO DE SISTEMAS DIGITALES PALLY AVILES JAIME ALFREDO

Lo que demuestra que se formó la misma función simplificada con la compuerta NAND.

g) Dibujar el circuito topológico (layout), del último circuito.

5. Se tiene el siguiente circuito.

a) Obtener la tabla de verdad.

De la gráfica se obtiene la siguiente expresión:

̅BC
F(A, B, C, D) = A ̅ +A
̅B ̅D + B
̅C ̅C̅D

12
LABORATORIO DE SISTEMAS DIGITALES PALLY AVILES JAIME ALFREDO

A B C D ̅
𝐀 B 𝐂̅ ̅𝐁𝐂̅
𝐀 ̅
𝐀 ̅
𝐁 D 𝐂̅ ̅𝐁
𝐀 ̅ 𝐂̅𝐃 ̅
𝐁 𝐂̅ D ̅ 𝐂̅𝐃
𝐁 𝐅
0 0 0 0 1 0 1 0 1 1 0 1 0 1 1 0 0 0
0 0 0 1 1 0 1 0 1 1 1 1 1 1 1 1 1 1
0 0 1 0 1 0 0 0 1 1 0 0 0 1 0 0 0 0
0 0 1 1 1 0 0 0 1 1 1 0 0 1 0 1 0 0
0 1 0 0 1 1 1 1 1 0 0 1 0 0 1 0 0 1
0 1 0 1 1 1 1 1 1 0 1 1 0 0 1 1 0 1
0 1 1 0 1 1 0 0 1 0 0 0 0 0 0 0 0 0
0 1 1 1 1 1 0 0 1 0 1 0 0 0 0 1 0 0
1 0 0 0 0 0 1 0 0 1 0 1 0 1 1 0 0 0
1 0 0 1 0 0 1 0 0 1 1 1 0 1 1 1 1 1
1 0 1 0 0 0 0 0 0 1 0 0 0 1 0 0 0 0
1 0 1 1 0 0 0 0 0 1 1 0 0 1 0 1 0 0
1 1 0 0 0 1 1 0 0 0 0 1 0 0 1 0 0 0
1 1 0 1 0 1 1 0 0 0 1 1 0 0 1 1 0 0
1 1 1 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0
1 1 1 1 0 1 0 0 0 0 1 0 0 0 0 1 0 0

b) Dibujar el circuito topológico (layout), para poder verificar la tabla de verdad considere
el empleo de diodos led en la salida F.

13
LABORATORIO DE SISTEMAS DIGITALES PALLY AVILES JAIME ALFREDO

c) Obtener la función lógica para la salida F, simplificar utilizando el álgebra de Boole.

̅ 𝐁𝐂̅ + 𝐀
̅𝐁̅ 𝐂̅𝐃 + 𝐁
̅ 𝐂̅𝐃 Teoremas o postulados del
𝐅(𝐀, 𝐁, 𝐂, 𝐃) = 𝐀
algebra booleana
̅𝐁𝐂̅ + 𝐁
̅ 𝐂̅(𝐀
̅ 𝐃 + 𝐃) Propiedad distributiva para la
𝐅(𝐀, 𝐁, 𝐂, 𝐃) = 𝐀
intersección
̅ 𝐁𝐂̅ + 𝐁
𝐅(𝐀, 𝐁, 𝐂, 𝐃) = 𝐀 ̅ 𝐂̅𝐃 Ley de absorción

d) Dibujar el circuito topológico (layout) dela función simplificada.

e) Construya el circuito reducido utilizando únicamente compuertas NAND, utilizando el

álgebra de Boole (teorema de DeMorgan).

Haciendo uso de las equivalencias tenemos:

14
LABORATORIO DE SISTEMAS DIGITALES PALLY AVILES JAIME ALFREDO

̅̅̅̅̅̅̅̅̅̅̅̅̅̅̅̅̅̅̅̅̅̅̅̅̅̅̅̅̅̅ Teoremas o postulados del

𝐅(𝐀, 𝐁, 𝐂, 𝐃) = ̅̅̅̅̅̅̅̅̅̅̅̅̅̅
̅̅̅̅ 𝐂𝐂 ⋅ ̅̅̅̅̅̅̅̅̅̅̅̅̅̅
𝐀𝐀 ⋅ 𝐁 ⋅ ̅̅̅̅ 𝐁𝐁 ⋅ ̅̅̅̅
̅̅̅̅ 𝐂𝐂 ⋅ 𝐃 algebra booleana
̅̅̅̅̅̅̅̅̅̅̅̅̅̅̅̅̅̅̅̅̅̅̅ Reglas de potencia para
𝐅(𝐀, 𝐁, 𝐂, 𝐃) = ̅̅̅̅̅̅̅̅̅̅
̅ ⋅ 𝐁 ⋅ 𝐂̅ ⋅ ̅̅̅̅̅̅̅̅̅̅
𝐀 ̅ ⋅ 𝐂̅ ⋅ 𝐃
𝐁 intersección
Ley DeMorgan para la
𝐅(𝐀, 𝐁, 𝐂, 𝐃) = ̿̿̿̿̿̿̿̿̿̿
̅ ⋅ 𝐁 ⋅ 𝐂̅ + ̿̿̿̿̿̿̿̿̿̿
𝐀 ̅ ⋅ 𝐂̅ ⋅ 𝐃
𝐁 intersección
̅ ⋅ 𝐁 ⋅ 𝐂̅ + 𝐁
𝐅(𝐀, 𝐁, 𝐂, 𝐃) = 𝐀 ̅ ⋅ 𝐂̅ ⋅ 𝐃 Involución

Lo que demuestra que se formó la misma función simplificada con la compuerta NAND.

f) Dibujar el circuito topológico (layout), del último circuito.

6. Se desea realizar un sistema de iluminación formado por tres interruptores, y una

lámpara incandescente, de tal manera que con cualquiera de los interruptores
individualmente pueda encender y apagar la lámpara incandescente,
Nota: Si dos interruptores de encuentran en 1 lógico, la lámpara debe estar apagada.
Si los tres interruptores se encuentran en 1 lógico la lámpara debe estar encendida.

Para el diseño tenemos la siguiente función:

15
LABORATORIO DE SISTEMAS DIGITALES PALLY AVILES JAIME ALFREDO

A B C F interruptores lámpara

0 0 0 0 3 interruptores en 0 logico apagada

0 0 1 1 1 interruptor en 1 lógico encendida

0 1 0 1 1 interruptor en 1 lógico encendida

0 1 1 0 2 interruptor en 1 lógico apagada

1 0 0 1 1 interruptor en 1 lógico encendida

1 0 1 0 2 interruptor en 1 lógico apagada

1 1 0 0 2 interruptor en 1 lógico apagada

1 1 1 1 3 interruptores en 1 lógico encendida

Expresando la función en minterminos tenemos la siguiente expresión:

F=A ̅B ̅BC
̅C + A ̅ + AB
̅C̅ + ABC
Simplificando la función utilizando algebra de Boole:

̅𝐁 ̅ 𝐁𝐂̅ + 𝐀𝐁
̅𝐂 + 𝐀 ̅ 𝐂̅ + 𝐀𝐁𝐂 Teoremas o postulados del
𝐅(𝐀, 𝐁, 𝐂) = 𝐀
algebra booleana
̅𝐁 ̅𝐁𝐂̅ + 𝐀𝐁
̅ 𝐂 + 𝐀𝐁𝐂 + 𝐀 ̅ 𝐂̅ Propiedad conmutativa para
𝐅(𝐀, 𝐁, 𝐂) = 𝐀
la unión
̅𝐁̅ + 𝐀𝐁)𝐂 + (𝐀 ̅ )𝐂̅
̅ 𝐁 + 𝐀𝐁 Propiedad distributiva para la
𝐅(𝐀, 𝐁, 𝐂) = (𝐀
intersección
̅̅̅̅̅̅̅)𝐂 + (𝐀⨁𝐁)𝐂̅
𝐅(𝐀, 𝐁, 𝐂) = (𝐀⨁𝐁 Aplicando OREX

𝐅(𝐀, 𝐁, 𝐂) = (𝐀⨁𝐁)⨁𝐂 Aplicando OREX

16
LABORATORIO DE SISTEMAS DIGITALES PALLY AVILES JAIME ALFREDO

7. Se pide un sistema de verificación que consiste en cuatro sensores, los cuales dan
un pulso al sistema para su aceptación o rechazo. El sistema funciona de la siguiente
forma: si un objeto pasa por lo menos tres de los sensores, el objeto se acepta, en
caso contrario se rechaza.
NOTA: Si se acepta, se enciende un LED, si se rechaza se apaga el LED.

17
LABORATORIO DE SISTEMAS DIGITALES PALLY AVILES JAIME ALFREDO

Para el diseño tenemos la siguiente función:

A B C D F respuesta LED

0 0 0 0 0 Se rechaza apagado

0 0 0 1 0 Se rechaza apagado

0 0 1 0 0 Se rechaza apagado

0 0 1 1 0 Se rechaza apagado

0 1 0 0 0 Se rechaza apagado

0 1 0 1 0 Se rechaza apagado

0 1 1 0 0 Se rechaza apagado

0 1 1 1 1 Se acepta encendido

1 0 0 0 0 Se rechaza apagado

1 0 0 1 0 Se rechaza apagado

1 0 1 0 0 Se rechaza apagado

1 0 1 1 1 Se acepta encendido

1 1 0 0 0 Se rechaza apagado

1 1 0 1 1 Se acepta encendido

1 1 1 0 1 Se acepta encendido

1 1 1 1 1 Se acepta encendido

Donde las variables A, B, C y D representan los sensores del sistema.

Expresando la función en minterminos tenemos la siguiente expresión:

̅BCD + AB
F=A ̅ D + ABCD
̅CD + ABC ̅ + ABCD

Simplificando la función utilizando algebra de Boole:

̅ 𝐂𝐃 + 𝐀𝐁𝐂̅𝐃 + 𝐀𝐁𝐂𝐃
̅ 𝐁𝐂𝐃 + 𝐀𝐁 ̅ + 𝐀𝐁𝐂𝐃 Teoremas o postulados del
𝐅(𝐀, 𝐁, 𝐂, 𝐃) = 𝐀
algebra booleana
𝐅(𝐀, 𝐁, 𝐂, 𝐃) = 𝐀 ̅ 𝐂𝐃 + 𝐀𝐁𝐂̅𝐃 + 𝐀𝐁𝐂𝐃
̅ 𝐁𝐂𝐃 + 𝐀𝐁 ̅ + 𝐀𝐁𝐂𝐃
Reglas de potencia
+ 𝐀𝐁𝐂𝐃 + 𝐀𝐁𝐂𝐃 + 𝐀𝐁𝐂𝐃
𝐅(𝐀, 𝐁, 𝐂, 𝐃) = 𝐀̅ 𝐁𝐂𝐃 + 𝐀𝐁𝐂𝐃 + 𝐀𝐁̅ 𝐂𝐃 + 𝐀𝐁𝐂𝐃 + 𝐀𝐁𝐂̅𝐃 Propiedad conmutativa para
+ 𝐀𝐁𝐂𝐃 + 𝐀𝐁𝐂𝐃̅ + 𝐀𝐁𝐂𝐃 la unión
̅ + 𝐀)𝐁𝐂𝐃 + (𝐁
𝐅(𝐀, 𝐁, 𝐂, 𝐃) = (𝐀 ̅ + 𝐁)𝐀𝐂𝐃 + (𝐂̅ + 𝐂)𝐀𝐁𝐃 Propiedad distributiva para la
+ ̅
(𝐃 + 𝐃)𝐀𝐁𝐂 intersección

𝐅(𝐀, 𝐁, 𝐂, 𝐃) = (𝟏)𝐁𝐂𝐃 + (𝟏)𝐀𝐂𝐃 + (𝟏)𝐀𝐁𝐃 + (𝟏)𝐀𝐁𝐂 Reglas de complemento

𝐅(𝐀, 𝐁, 𝐂, 𝐃) = 𝐁𝐂𝐃 + 𝐀𝐂𝐃 + 𝐀𝐁𝐃 + 𝐀𝐁𝐂 Reglas del cero y uno

18
LABORATORIO DE SISTEMAS DIGITALES PALLY AVILES JAIME ALFREDO

19