Vous êtes sur la page 1sur 14

Algebra de Boole.

Definiciones.
• Ente matemático desarrollado por George Boole a mediados del
siglo XIX.
• Herramienta que define elementos y operaciones binarias, permiten
obtener circuitos de comportamiento binario e implementar
funciones lógicas.
• Es un esquema de razonamiento lógico que requiere de postulados
o axiomas básicos y una serie de leyes o teoremas que
complementan dichos postulados. Al igual que en el álgebra
Euclidiana, estos axiomas se consideran verdaderos siempre y no
requieren demostración.
• Es un álgebra de elementos entre los cuales se establecen
relaciones y operaciones. Si dichas operaciones permiten plantear
un conjunto cerrado de postulados independientes, se puede decir
que dichos postulados definen un álgebra.
Definiciones.
• Un conjunto de postulados es cerrado o consistente cuando no
hay contradicciones entre los mismos.
• Los desarrollos matemáticos realizados por Claude Shannon sobre
interruptores hicieron al Algebra de Boole y sus derivados en uno
de los pilares de la computación digital.
• Otra de las propiedades importantes de los postulados es su
independencia. Esto quiere decir que ninguno se puede demostrar
a partir de otros.
• Edward Huntington definió un conjunto de 6 postulados en el año
1904 y son los que daremos a conocer.
P1) Definición.

• Un Álgebra de Boole es un sistema algebraico cerrado, definido por


un conjunto C, formado por lo menos por dos elementos a y b, entre
los cuales deberá cumplirse el principio de sustitución y una
relación de equivalencia y dentro del cual se definirán dos
operaciones (suma lógica y producto lógico) cerradas en dicho
conjunto C.
Ǝ C ʌ Ǝ (a , b) Є C / a R b ʌ Ǝ (a + b) Є C ʌ Ǝ (a . b) Є C

Relación de equivalencia:
a R a (Reflexiva)
a R b → b R a (Simetría)
a R b ʌ b R C → a R c (Transitiva)
P2) Conmutatividad.

¥ (a, b) Є C → a + b = b + a
¥ (a, b) Є C → a . b = b . A

P3) Asociatividad.
¥ (a, b, c) Є C → (a + b) + c = a + (b + c)
¥ (a, b, c) Є C → (a . b) . c = a . (b . c)

¥ (a, b, c) Є C → (a + b) . c = a . c + b . c
¥ (a, b, c) Є C → (a . b) + c = (a + c) . (b + c)
P5) Existencia de elemento neutro.
5 a) Para la suma puede definirse un elemento neutro N1 tal que la
suma lógica de cualquier elemento del conjunto y el neutro, de por
resultado el elemento de origen.
5 a) Para la suma puede definirse un elemento neutro N1 tal que la
suma lógica de cualquier elemento del conjunto y el neutro, de por
resultado el elemento de origen.

¥ a Є C Ǝ N1 / a + N1 = a
¥ a Є C Ǝ N2 / a . N2 = a
P5) Existencia de elemento opuesto.

6 a) La suma del elemento mencionado con su elemento opuesto da


por resultado el neutro del producto.
6 a) El producto del elemento mencionado con su elemento opuesto da
por resultado el neutro del suma.

¥ a Є C Ǝ a´ / a + a´ = N2
¥ a Є C Ǝ a´ / a . a´ = N1
El álgebra de Boole como un álgebra binaria.

Simplificaremos la estructura lógica para adecuarla a las


necesidades de los circuitos y elementos de conmutación.
Modificaremos el primer postulado de Huntington, restringiremos la
definición a solo dos elementos, de los restantes postulados se
desprende cuales son estos dos elementos.
Viendo el postulado que define para cada operación booleana un
elemento neutro. Estos dos (uno y cero) deberán ser los únicos
elementos de dicho conjunto.
Visto el postulado que requiere la existencia de un elemento
opuesto para cada uno de los elementos que forman el conjunto.
Para satisfacer este postulado y así poder tener un Algebra de
Boole binaria se define que el cero es el elemento opuesto al
uno y el uno el opuesto del cero.
Ahora ya podemos obtener las tablas que permitan resolver las dos
operaciones de suma y productos lógicos.

a b a+b a b a.b

0 0 0 0 0 0

0 1 1 0 1 0

1 0 1 1 0 0

1 1 1 1 1 1
Hay varias estructuras que cumplen con los postulados de un álgebra
de Boole. En la siguiente tabla vemos la relación directa entre la Teoría
de Conjuntos, el álgebra de proposiciones y el álgebra de Boole.

BOOLE CONJUNTOS PROPOSICIONES

Elementos Conjuntos Proposiciones

Suma lógica ( + ) Unión ( U ) Disyunción ( ˅ )

Producto lógico ( . ) Intersección ( ∩ ) Conjunción ( ʌ )

Elemento opuesto Complemento Negación ( no )

Neutro de la suma ( 0 ) Conjunto vacío ( Ф ) Falsedad ( F )

Neutro del producto ( 1 ) Conjunto universal ( U ) Certeza ( V )


A partir de los postulados se deducen algunos teoremas.

Teorema 1:
Cada identidad del algebra de Boole permanece válida si
la operación “+” y “.” y los elementos 0 y 1 se intercambian entre si.
Es el llamado principio de dualidad.

Teorema 2:
Para cada elemento “a” de un algebra de Boole se verifica
que:

a+1=1 y a.0=0
Teorema 3:
Para cada elemento “a” de un algebra de Boole se verifica
que:

a+a=a y a.a=a
(idempotencia)
Teorema 4:
Para cada elemento “a” de un algebra de Boole se verifica
que:

a~~ = a
(involución)
Teorema 5:
En toda Algebra de Boole se verifica:

(a + b + c +……..)~ = a~ . b~ . c~ ………

(a . b . c ….)~ = a~ + b~ + c~ + ……….

Son las denominadas leyes de De Morgam.

Teorema 6: (Absorción)
a+a.b=a
a . (a + b) = a
La estructura del algebra de proposiciones y los conceptos ya definidos
de proposiciones simples o compuestas lleva inmediatamente al
concepto de función.

Se define como variable lógica a cualquier proposición cuyo grado


de verdad o falsedad no dependa de otras proposiciones que la
constituyen. Desde este punto de vista es una proposición simple.
Se define como función lógica a toda aquella proposición cuyo
valor de verdad dependa del valor de verdad o falsedad de otras
proposiciones. O sea es una proposición compuesta.
La representación de una función lógica se hace mas evidente
mediante la utilización de una tabla de verdad.

Vous aimerez peut-être aussi