PREPARATORIO N 4

TEMA: DEMOSTRACIN

DE ALGUNOS TEOREMAS DEL ALGEBRA DE BOOLE

OBJETIVO:
Comprobar, en forma prctica, algunos de los teoremas del lgebra de Boole y aplicar el Principio de Dualidad. Aplicar los teoremas del lgebra de Boole en la simplificacin de una funcin lgica.

TRABAJO PREPARATORIO:
1.- Con compuertas A-O-N, disee un circuito lgico que permita verificar el teorema de Redundancia: Haga lo mismo para el dual de esta funcin.

U3:C

U1:D
6 12

5 7404

U2:C
9 8 10

11 13 7432

7408 1

U4:A
3 2 7432

0 0 1 1

0 1 0 1

0 1 1 1

0 1 1 1

Para el dual
U2:C
9 8

U3:C

10 6

5 7404

U1:C
9 8 10 7432

7408

0 0 1 1

0 1 0 1

0 0 0 1

0 0 0 1

0
12 13

U2:D
11

7408

2.- Con compuertas A-O-N, disee un circuito lgico que permita verificar el teorema de Absorcin:

Compruebe el dual de esta funcin.

1 0
U3:A
1 7404 2 12 11 13 7408

U1:C
9 8 10 9 7408 8 10 7432

U2:C

U1:D

0 0 1 1

0 1 0 1

0 0 1 1

Para el dual

0
1 2

U1:A
3

74LS32 1

U2:A
3 2 74LS08

0 0 1 1

0 1 0 1

0 0 1 1

3.- Con compuertas A-O-N, disee un circuito lgico que permita verificar el teorema de De Morgan: Haga lo mismo para el dual de esta funcin.

0
1 2

U2:A
3 1

U1:A
2 74LS04

0
Para el dual

74LS08

0 0 1 1

0 1 0 1

1 1 1 0

0 0

0 1

1 0 2

0
1 2

U2:A
3 1

U1:A
2 74LS04

1 1

0 1

0 0

74LS32

4.- Dada la Funcin:

4.1.- Simplifique y exprese la funcin resultante con compuertas A-O-N. 4.2.- Simplifique y exprese la funcin resultante con compuertas NOR. 4.3.- Simplifique y exprese la funcin resultante con compuertas NAND. 4.4.- Simular los literales 4.1, 4.2, 4.3, 4.4 y comprobar que se obtiene la misma tabla de verdad.

Simplificacin de la funcin:

Implementacin con compuertas A-O-N:

0 0 0

U1:A
1 3 2 1 74LS08 2 74LS32 3

U2:A

Implementacin con compuertas NAND:

0 0

U3:A
1 3 2 10 74LS00

U3:C
8 9

U3:B
4 5

74LS00

74LS00

Implementacin con compuertas NOR:

0 0 0

U4:A
2 1 3 8 74LS02

U4:C
10 9

U4:B
5 6

74LS02

74LS02

Tablas de Verdad: Al realizar la comprobacin por medio de la simulacin se pudo observar que para los tres circuitos se cumpla la misma tabla de verdad que se muestra a continuacin. X Y Z F 0 0 0 0 0 0 1 0 0 1 0 1 0 1 1 1 1 0 0 0 1 0 1 1 1 1 0 1 1 1 1 1

BIBLIOGRAFA
Sistemas Digitales Ing. Novillo Carlos. Cuaderno de Apuntes en clase del Ing. Oswaldo Buitrn. 4