ALGEBRA DE BOOLE Y POSTULADOS En general, un algebra cualquiera es una estructura matemtica que se define dando un conjunto de elementos, unas

operaciones binarias o leyes de composicin interna que se aplican a los elementos del conjunto. Y unos principios bsicos o axiomas que se aplican a estas leyes de composicin interna y a elementos del conjunto. Para definir el lgebra de Boole se necesita un conjunto de elementos que llamaremos , en el que al menos hay dos elementos diferentes: x,y con x y; y tambin est dotado de dos leyes de composicin interna, que se representan: (+) y (-), que se denominan: (Producto y) y (Suma o), respectivamente:

Entonces se tiene una estructura de algebra de Boole si se verifican estas condiciones y las siguientes propiedades primitivas o axiomas, que deben de cumplir la PROPIEDAD DUAL, entendindose esta como la forma de partir de una propiedad para obtener otra, mediante la simple sustitucin de 0 por 1 y + por -, y viceversa, en todos los lugares en los cuales aparezcan, estas son a saber: 1. Propiedad de cierre. Para un conjunto s se dice que es cerrado para un operador binario si para cada elemento de S el operador binario especifica una regla para obtener un elemento nico de S. Para el conjunto N = {1,2,3,4,} es cerrado con respecto al operador binario (+) por las reglas de la adicin aritmtica, ya que para que cualquier elemento a,b pertenecientes a N por la operacin a + b = c el conjunto de los nmeros naturales no esta cerrado con respecto al operador binario (-) por la regla de la resta aritmtica, debido a que 2-3 = -1 y 2,3 pertenecen a N pero -1 no pertenece a N. 2. Ley asociativa. El operador binario (*) es un conjunto S es asociativo siempre que x*y*z = x*(y*z) para toda x, y pertenecientes a S. 3. Ley conmutativa. Un operador binario (*) para un conjunto S es conmutativo siempre que: x*y = y*x para toda x,y pertenecientes a S.
Argaiz Cabrera Adriana Aurea Principios Elctricos y Aplicaciones Digitales

4. Elemento identidad. El conjunto S tendr un elemento identidad multiplicativo identidad (*) en S si existe un e perteneciente a S con la propiedad e*x = x*e =e para cada x pertenecientes a S. 5. Inversa. El conjunto S tiene un elemento identidad (e) con respecto al operador (*) siempre que para cada x perteneciente a S exista un elemento y perteneciente a S tal que x*y=e. 6. Ley distributiva. Si el operador (*) y el operador (.), son operadores binarios de S, (*) se dice que es distributivo sobre (.). Siempre que: x*(y . z) = (x*y) . (x*z) El operador binario (+) define la adicin. Identidad aditiva es el cero. La inversa aditiva define la sustraccin. El operador binario (.) define la multiplicacin. Identidad multiplicativa es 1. - Inversa multiplicativa de A es igual a 1/A define la divisin esto es A * 1/A = 1 - La nica ley distributiva aplicable es la de operador (.) sobre el operador + (.) sobre (+) a(b+c)=(a.b) +(a.c)

Para definir formalmente el lgebra de Boole se emplean postulados de Huntington. 1. a) Cierre con b) Cierre con respecto al operador (.)

respecto

al

operador

(+)

2. a) Un elemento identidad con respecto al operador (+), designado por el cero x+0 =0+x=x b) Un elemento identidad con respecto al operador (.) designado por el uno x*1=1*x=x 3. a) Conmutativo con respecto al operador b) Conmutativo con respecto al operador (.) : x*y =y*x

(+)

x+y

y+x

Argaiz Cabrera Adriana Aurea

Principios Elctricos y Aplicaciones Digitales

4. a) El operador (.) es distributivo sobre el operador (+) : x.(y+z) = (x.y) + (y.z) b) El operador (+) es distributivo sobre el operador (.) : x+(x.z) = (x+y) . (x+z) 5. Para cada elemento de x pertenencia a B existe un elemento x complemento perteneciente a B denominado complemento de x tal que: a) b) x = 0 x+x = 1

6. Existen cuando menos dos elementos x,y pertenecientes a B tal que x diferente de y. Por lo tanto tenemos que el lgebra de Boole difiere de la aritmtica y del lgebra ordinaria en la sig: a) Los postulados Huntington: no incluyen al ley asociativa, no obstante esta ley es vlida para el lgebra booleana (para ambos operadores) b) La ley distributiva del operador (+) sobre el operador (.) esto es: x+(y.z) = (x+y).(x+z), la cual es vlida para el lgebra de Boole pero no para el lgebra ordinaria. c) El lgebra booleana no tiene inversa aditiva a multiplicativa, por lo tanto no hay operaciones de sustracciones o divisin. d) El postulado 5 define un operador llamado completo que no se encuentra en el lgebra ordinaria. e) En el lgebra de Boole se define un conjunto B de dos elementos (0 y 1) y el lgebra ordinaria trata con el conjunto de los nmeros reales.

Postulado 2 Postulado 5 Teorema 1 Teorema 2 Teorema 3 involucin Teorema 3 conmutativo Teorema 4 asociativo

a) x + 0 = x a) x + x = 1 a) x + x = x a) x + 1 = 1 (x) a) x + y = y + x a) x + (y + z) = (x + y) +z

b) b) b) b) b) b)

x x x x

. . . . = xy (yz)

1 x x 0 = =

= = = =

(xy)

x 0 x 0 x yx z

Argaiz Cabrera Adriana Aurea

Principios Elctricos y Aplicaciones Digitales

Postulado 4 distributivo Teorema 5 morgan Teorema 6 absorcin

a) x (y + z) = xy +xz a) ( x + y) = x y a) x + xy = x

b) x + yz = (x + y)(x+z) b) (xy) = x + y b) x (x + y) = x

Bibliografia: Algebra de Boole. Lic. Eduardo Aldana G. Pag.1 - 2

Argaiz Cabrera Adriana Aurea

Principios Elctricos y Aplicaciones Digitales

Argaiz Cabrera Adriana Aurea

Principios Elctricos y Aplicaciones Digitales