IUP SANTIAGO MARIO REALIZADO POR: CARLOS RODRIGUEZ C.I: 21.322.

668

LGEBRA BOOLEANA Y SU APLICACIN

El lgebra booleana es un sistema matemtico deductivo centrado en los valores cero y uno (falso y verdadero). Un operador binario " " definido en ste juego de valores acepta un par de entradas y produce un

solo valor booleano, por ejemplo, el operador booleano AND acepta dos entradas booleanas y produce una sola salida booleana. El nombre de algebra booleana se debe a que a mediados del siglo XIX exista un seor llamado George Boole (1815-1864), que fue reconocido gracias a sus libros: "The

Mathematical Analysis of Logic" (1847) y "An Investigation of te Laws of Thought" (1854), donde desarroll la idea de que las proposiciones lgicas podan ser tratadas mediante herramientas matemticas. Para cualquier sistema algebraico existen una serie de postulados inciales, de aqu se pueden deducir reglas adicionales, teoremas y otras propiedades del sistema, el lgebra booleana a menudo emplea los siguientes postulados: Cerrado: El sistema booleano se considera cerrado con respecto a un operador binario si para cada par de valores booleanos se produce un solo resultado booleano.

Conmutativo: Se dice que un operador binario " " es conmutativo si A B = B A para todos los posibles valores de A y B. Asociativo: Se dice que un operador binario " " es asociativo si (A B) C = A (B C) para todos los valores booleanos A, B, y C. Distributivo: Dos operadores binarios " " y " % " son distributivos si A (B % C) = (A B) % (A C) para todos los valores booleanos A, B, y C. Identidad: Un valor booleano I se dice que es un elemento de identidad con respecto a un operador binario " " si A I = A. Inverso: Un valor booleano I es un elemento inverso con respecto a un operador booleano " " si A I = B, y B es diferente de A, es decir, B es el valor opuesto de A.

TEOREMAS: Teorema 1: el elemento complemento A es nico. Teorema de los elementos nulos: para cada elemento de B se verifica: A+1 = 1 A 0 = 0 Teorema 3: cada elemento identidad es el complemento del otro. 0=1 1=0 Teorema de idempotencia: para cada elemento de B, se verifica: A+A=A A A=A Teorema de involucin: para cada elemento de B, se verifica: (A) = A Teorema de absorcin: para cada par de elementos de B, se verifica:

A+A B=A A (A+B)=A Teorema 7: para cada par de elementos de B, se verifica: A + A B = A + B A (A + B) = A B

LEYES DE DE MORGAN: para cada par de elementos de B, se verifica: (A+B) = A B (A B) = A + B Teorema de asociatividad: cada uno de los operadores binarios (+) y ( ) cumple la propiedad asociativa: A+(B+C) = (A+B)+C A (B C) = (A B) C