Algebra de Boole

FUNDAMENTO TEORICO

Las lgebras booleanas, estudiadas por primera vez en detalle por

George Boole , constituyen un rea de las matemticas que ha pasado a
ocupar un lugar prominente con el advenimiento de la
computadora digital. Son usadas ampliamente en
el diseo de circuitos de distribucin y computadoras, y sus aplicaciones
van en aumento en muchas otras reas. En el nivel de lgica digital de
una computadora, lo que comnmente se llama hardware, y que est
formado por los componentes electrnicos de la mquina, se trabaja con
diferencias de tensin, las cuales generan funciones que son calculadas
por los circuitos que forman el nivel. stas funciones, en la etapa de
disea del hardware, son interpretadas como funciones de boole.
En el presente trabajo se intenta dar una definicin de lo que es
un lgebra de boole; se tratan las funciones booleanas, haciendo una
correlacin con las frmulas proposicionales. Asimismo, se plantean dos
formas cannicas de las funciones booleanas, que son tiles para varios
propsitos, tales como el de determinar si dos expresiones representan o
no la misma funcin. Pero para otros propsitos son a menudo
engorrosas, por tener ms operaciones que las necesarias.
Particularmente, cuando estamos construyendo los circuitos electrnicos
con que implementar funciones booleanas, el problema de determinar
una expresin mnima para una funcin es a menudo crucial. No resultan
de la misma eficiencia en dinero y tiempo, principalmente, dos funciones
las cuales calculan lo mismo pero donde una tiene menos variables y lo
hace en menor tiempo. Como solucin a este problema, se plantea
un mtodo de simplificacin, que hace uso de
unos diagramas especiales llamados mapas o diagramas de Karnaugh, y
el cual tiene la limitacin de poder trabajar adecuadamente slo con
pocas variables.
Se realizan estas presentaciones con el fin de demostrar la afinidad
existente entre el lgebra de boole y la lgica proposicional, y con el
objeto de cimentar el procedimiento de simplificacin presentado en la
lgica de proposiciones.

Circuitos digitales
1

MATERIALES Y EQUIPOS

1 protoboard.
1 fuente 5 Vcc.
circuitos integrados
Leds
1 Resistencia 1k
Cables de conexin.

Circuitos digitales
2

PROCEDIMIENTO:

1. Circuito a implementar :
Se tiene el siguiente circuito lgico

U10A
3

2
A

U9A

7400

3
7400

U11A
3

2
1

U12A

7400

R1
1k

2
7400

D1
Dbreak

Tabla de verdad del circuito anterior:

A
0
0
1
1

B
0
1
0
1

SALIDA
0
1
1
0

Expresin literal:
Circuitos digitales
3


EQ

EQ
F=( ( AB) ) B+ A( ( AB) )

Simplificando:

EQ

EQ
F=( ( AB) ) B+ A( ( AB) )

EQ

EQ

F=((A )+ EQ ( B)) B+ A ((A )+ EQ (B))

F=EQ ( A)B+ A EQ (B)

2. Circuito a implementar :
Se tiene el siguiente circuito lgico

Circuitos digitales
4

U11A
1

U10A

7402

7402

U12A

7486
1

Tabla de verdad del circuito anterior

B
0
1
0
1

SALIDA
0
1
1
0

Expresin literal:
F=(A+)() +()(+B)
Simplificando:
F= (A+) () +()(+B)
F= (A+) ((A+B) )+((A+B))( +B)
F= (A+) (A)+ B (+B)

3. Circuito a implementar
Se tiene el siguiente circuito lgico

Circuitos digitales
5

D2
Dbreak

0
7402

A
0
0
1
1

U13A

U14A

3
7433
A

U13A

7433

7433

U15A

D3
Dbreak

3
7433

Tabla de verdad del circuito anterior

A
0
0
1
1

U16A

B
0
1
0
1

SALIDA
0
1
1
0

Expresin literal:

EQ

EQ

F=( A+ EQ ( (A + B)))+(EQ (( A+ B)+ B ))

Circuitos digitales
6

Simplificando:

F=(

)+( )

F=(A+B)+ (A+B)

F=A EQ ( B)+ EQ ( A )B

CONCLUSIONES:

1. Se realiz la expresin literal de cada circuito

2. Los 3 circuitos al simplificar su expresin literal, me dan una
misma expresin, por entonces su tabla de verdad es la misma
de cada circuito , porque sus valores de salidas son las
mismas .
Circuitos digitales
7

3. Se comprueba que cumplen una misma funcin.

Circuitos digitales
8