Algebra de Boole

Introduccin
En 1815 George Boole propuso una herramienta matemtica llamada Algebra de Boole . Luego en 1938 Claude Shannon propuso que con esta algebra es posible modelar los llamados Sistemas Digitales. El Algebra de Boole es un sistema matemtico que utiliza variables y operadores lgicos. Las variables pueden valer 0 o 1. Y las operaciones bsicas son OR(+) y AND(). Luego se denen las expresiones de conmutacin como un nmero nito de variables y constantes, relacionadas mediante los operadores (AND y OR). En la ausencia de parntesis, se utilizan las mismas reglas de precedencia, que tienen los operadores suma (OR) y multiplicacin (AND) en el lgebra normal.

QUE CUMPLEN LAS SIGUIENTES PROPIEDADES: 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. SIEMPRE EXISTE EL COMPLEMENTO DE A, DENOMINADO A A + A = 1 A A = 0 TEOREMAS DEL LGEBRA DE BOOLE

Teorema 1: El resultado de aplicar cualquiera de las tres operaciones definidas a variables del sistema Booleano es otra variable del sistema y este resultado es nico. Este teorema se llama Ley interna. Teorema 2: Ley de involucin: una variable doblemente complementada es ella misma ( A ) = A. Teorema 3: Ley de idempotencia: A + A = A ; A A = A.

Teorema 4: Ley conmutativa: A + B = B + A ; A B = B A.

 Teorema 5: Ley asociativa (A + B) + C = A + (B + C) (A B) C = A (B C) Teorema 6: Ley distributiva A (B + C) = (A B) + (A C) A + ( B C) = (A + B) (A + C) Teorema 7: Ley de absorcin A + AB = A A (A + B) = A Teorema 8: Leyes de Morgan A + B = A B AB=A+B Todos estos teoremas pueden demostrarse haciendo uso de las tablas de verdad. X+0=XX+1=1X+X=1 X0=0X1=XXX=0

Compuertas Lgicas
Existen dispositivos electrnicos que son capaces de representar funciones de conmutacin. Estos dispositivos denominan Compuertas Lgicas y estn construidos a base de silicio. Las compuertas lgicas son altamente usadas en el campo de la electrnica digital, debido al bajo costo que se logra con la alta densidad de integracin. Las compuertas corresponden a bloques fundamentales para la construccin de circuitos lgicos y sistemas digitales. Una red de compuertas lgicas constituye un circuito combinacional.

RAE

Las compuertas pueden tener ms de una o dos entradas. Por ejemplo la ecuacin de conmutacin F(A,B, C) = A B C puede ser representada por:

O bien por:

Ejemplos de compuertas lgicas:

Ejemplo de compuertas Representar la siguiente ecuacin mediante compuertas lgicas. F(A,B, C,D) = (B + D) (A + B) C
RAE

Las compuertas lgicas se pueden encontrar en dispositivos pequeos de uso general, llamadas pastillas lgicas TTL. Su numeracin corresponde a 74LSXXX.

Tambin existen dispositivos con alta densidad de integracin como PLA, CPLD y FPGA.

Las pastillas lgicas internamente estn diseadas con varias compuertas, dependiendo de la pastilla. Por ejemplo un 74LS32 internamente es de la siguiente forma: