lgebra de Boole (tambin llamada Retculas booleanas) en informtica y matemtica, es una estructura algebraica que rigorizan las operaciones

lgicas Y, O y NO, as como el conjunto de operaciones unin, interseccin y complemento. Se denomina as en honor a George Boole, (2 de noviembre de 1815 a 8 de diciembre de 1864), matemtico ingls que fue el primero en definirla como parte de un sistema lgico a mediados delsiglo XIX. El lgebra de Boole fue un intento de utilizar las tcnicas algebraicas para tratar expresiones de la lgica proposicional. En la actualidad, el lgebra de Boole se aplica de forma generalizada en el mbito del diseo electrnico. Claude Shannon fue el primero en aplicarla en el diseo de circuitos de conmutacin elctrica biestables, en 1948.

Contenido
[ocultar]

1 Definicin

1.1 Como retculo

2 Operaciones

o o o o

2.1 Operacin suma 2.2 Operacin producto 2.3 Operacin negacin 2.4 Operaciones combinadas

3 Leyes fundamentales

3.1 Principio de dualidad

4 Otras formas de notacin del lgebra de Boole 5 lgebra de Boole aplicada a la informtica

o o

5.1 El 0 lgico 5.2 El 1 lgico

6 Jerarqua de los operadores 7 Vase tambin 8 Enlaces externos 9 Bibliografa

[editar]Definicin Una lgebra de Boole es una tripleta y adems para cualquier 1. Propiedad conmutativa: . Donde , + y son operaciones internas en

se cumplen los siguientes axiomas:

2. Propiedad asociativa:

3. Propiedad distributiva:

4. Propiedad de los neutros. Existen

tales que:

5. Propiedad de los opuestos. Existe

tal que:

[editar]Como

retculo

Como retculo presenta las siguientes propiedades, las leyes principales son estas: 1. Ley de Idempotencia:

2. Ley de Asociatividad:

3. Ley de Conmutatividad:

4. Ley de Cancelativo

[editar]O

peraci ones
Hemos definido el conjunto A = {1,0} como el conjunto universal sobre el que se aplica el lgebra de Boole, sobre estos elemento s se definen varias operacio nes, veamos las ms fundame ntales: [editar]O

peraci n suma

a b a+b 0 0 0 1 1 0 1 1 0 1 1 1

equ i al enci a en

ca de inte rrup t re s es un circ uit

de dos inte rrup tore s en par alel o.

La

aci

a + asi

a a cada ar de al res a, b de A

al r c de A:

S i

u n o

d e

l o s

v a l o r e s

d e

e s

e l

r e s u l t a d o

s e r

e s

n e c e s a r i o

 

q u e

l o s

d o s

s u m a n d o s

s e a n

p a r a

q u e

e l

r e s u l t a d o

s e a

0 .

[ e d i t a r ]

O p e r a c

i n p r o d u c t
a ab b 00 0 01 0 10 0 11 1

o
L a

o p e r a c i n

p r o d u c t

a s i g n a

c a d a

p a r

d e

v a l o r e s

a ,

d e

u n

v a l o r

d e

A :

E s t a

o p e r a c i n

e n

 
i c a d e i n t e r r u p t o r e s e s u n c i r c

u i t o

e n

s e r i e

d e

d o s

i n t e r r u p t o r e s

s o

l o

s i

l o s

d o s

e l


a l o r e s a


b s o n

r e s u l t a d o

s e r

s i

u n o

s o l o

d e

e l l o s

e s

e l

r e s u l t a d o

s e r

0 .

[ e d i t a r ]

p e r a c i n n e g a c i
a 0 1 1 0

n
L a

o p e r a c i n

n e g a c i

p r e s e n t a

e l

o p u e s t o

d e l

!
a l o r d e a :

i n t e r r u p t o r

i n v e r s o

e q u i v a l e

e s t

"

o p e r a c i n :

a b 0 0 1 0 1 1 1 0 0 1 1 0 1 1 0 1

o p e r a c i o n e s

e l e m e n t a l e s

s e

p u e d e n

r e a l

#
a r o t r a s m s c o m p l e j a s , q u e p o d e m o s

r e p r e s e n t a r

c o m o

e c u a c i o n e s

$
o o l e a n a s ,

p o r

e j e m p l o :

Adicin
1 2 3 4 5 6 7 8

Producto

&

& 0 & ( & %

..-

.-

peracin

peracin A peracin

) ' & '

T R

Expresin :

(Sustitucin de valores) (Evaluacin de los NO ) (Evaluacin de los AND)

(evaluacin de los O )