ALGEBRA DE BOOLE Las operaciones del lgebra de Boole se describen a continuacin: PROPIEDADES DEL LGEBRA DE BOOLE 1.

- Propiedad conmutativa: A+B=B+A AB=BA 2.- propiedad distributiva: A(B+C) = AB + AC A + BC = (A+B)(A+C) 3.- elementos neutros diferentes: A+0=A A1=A 4.- Existencia del complemento de A, denominado A: A + A = 1 A A = 0 TEOREMAS DEL LGEBRA DE BOOLE TEOREMA 1: el elemento complemento A es nico. TEOREMA 2 (ELEMENTOS NULOS): A+1 = 1 A0 = 0 TEOREMA 3: 0=1 1=0 TEOREMA 4 (IDEMPOTENCIA): A+A=A AA=A TEOREMA 5 (INVOLUCIN):

(A) = A TEOREMA 6 (ABSORCIN): para cada par de elementos de B, se verifica: A+AB=A A(A+B)=A TEOREMA 7: para cada par de elementos de B, se verifica: A + AB = A + B A (A + B) = A B TEOREMA 8 (ASOCIATIVIDAD): : A+(B+C) = (A+B)+C A(BC) = (AB)C LEYES DE DEMORGAN: para cada par de elementos de B, se verifica: (A+B) = AB (AB) = A + B PUERTAS LOGICAS PUERTA NOT Se trata de una operacin que solo maneja una variable de entrada y otra de salida. La salida toma el estado opuesto o inverso del que tiene la entrada. PUERTA OR Cuando distintas variables lgicas se combinan mediante la funcin OR, el resultado toma el estado alto, verdadero o 1 si alguna de ellas tiene dicho estado. PUERTA NOR Esta puerta produce la funcin inversa de la puerta OR, es decir, la negacin de la suma lgica de las variables de entrada. Su comportamiento es equivalente a la de la puerta OR seguida de una NOT. PUERTA AND Cuando varias variables lgicas, de tipo binario, se combinan mediante la operacin lgica AND, producen una variable de salida, que solo toma el nivel lgico 1, estado alto o verdadero, si todas ellas tienen dicho nivel o

estado. PUERTA NAND La puerta NAND produce la funcin inversa de la AND, o sea, la negacin del producto lgico de las variables de entrada. Acta como una puerta AND seguida de una NOT. PUERTA OR EXCLUSIVA (OREX) La salida de esta compuerta es 1, o verdadero si alguna entrada es 1 pero excluye la combinacin cuando las dos entradas son 1. La funcin OR exclusiva tiene su propio smbolo grfico o puede expresarse en trminos de operaciones complementarias AND, OR.