Académique Documents
Professionnel Documents
Culture Documents
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.
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.
¥ a Є C Ǝ a´ / a + a´ = N2
¥ a Є C Ǝ a´ / a . a´ = N1
El álgebra de Boole como un álgebra binaria.
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.
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~ + ……….
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.