UNIDAD V Algebra de BOOLE

Definicin
Tambin llamada Retculas booleanas en informtica y matemtica, corresponde a una estructura algebraica que esquematiza las operaciones lgicas Y, O, NO y Si (AND,OR,NOT,IF), as como el conjunto de operaciones unin, interseccin y complemento.
Se denomina as en honor a George Boole, matemtico ingls que fue el primero en definirla como parte de un sistema lgico en el ao 1854.

Definicin
El lgebra de Boole fue un intento de utilizar las tcnicas algebraicas para tratar expresiones de la lgica proposicional. En la actualidad, el lgebra de Boole se aplica de forma generalizada en el mbito del diseo electrnico.
El lgebra booleana es un sistema matemtico deductivo centrado en los valores cero y uno (falso y verdadero). Y los operadores binarios () y (+) y (). Definidos de la siguiente forma:

Operadores
A 0 0 1 1 B 0 1 0 1 A+B 0 1 1 1 AB 0 0 0 1 A 0 1 A 1 0

Operador + => Operador OR Operador => Operador AND Operador => Operador NOT (Negacin)

Propiedades
Propiedad conmutativa:
A + B = B + A; AB=BA

Propiedad distributiva:
A(B+C) = AB + AC;
A + 0 = A;

A + BC = (A+B)(A+C)

Elementos neutros diferentes:

A1=A

Siempre existe el complemento de A, denominado A:

A + A = 1; A A = 0

Teoremas
TEOREMA 1: el elemento complemento A es nico. TEOREMA 2 (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 4 (IDEMPOTENCIA): para cada elemento de B, se verifica: A+A=A; AA= A

Teoremas
TEOREMA 5 (INVOLUCIN): elemento de B, se verifica:
(A) = A

para

cada

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

Teoremas
TEOREMA 8 (ASOCIATIVIDAD): cada uno de los operadores binarios (+) y () cumple la propiedad asociativa: 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

Teoremas
TEOREMA 8 (ASOCIATIVIDAD): cada uno de los operadores binarios (+) y () cumple la propiedad asociativa: 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

Representacin de Funciones Lgicas

Tabla que representa el valor de la funcin para cada combinacin de entrada. Si la funcin esta definida para todas las combinaciones se llama completa, si no, se denomina incompleta. Para 4 variables:

Compuertas Lgicas

Compuertas Lgicas

Circuitos Lgicos.
Los circuitos lgicos mas simples son aquellos en los que las salidas tan solo dependen en cada instante del valor lgico de las entradas, es decir, no guardan ninguna memoria de la historia anterior o de estado. Estos circuitos se denominan circuitos lgicos convencionales.

Simplificacin de Circuitos Lgicos.

Considerar la expresin booleana siguiente: AB + AB + AB = Y
Entradas B A Salida Y

0
0 1 1

0
1 0 1

0
1 1 1

Tabla de Verdad, Funcin OR

Simplificacin de Circuitos Lgicos.

Una vez que se obtiene la expresin booleana para un circuito lgico, podemos reducirla a una forma ms simple que contenga menos trminos, la nueva expresin puede utilizarse para implantar un circuito que sea equivalente al original pero que contenga menos compuertas y conexiones.

Simplificacin de Circuitos Lgicos.

MINTERMS (Suma de productos)
Entradas C 0 0 0 0 1 B 0 0 1 1 0 A 0 1 0 1 0 Salida Y 0 1 0 0 0 CBA

1
1 1

0
1 1

1
0 1

0
0 1 CBA

Tabla de Verdad, Funcin AND CBA + CBA http://ladelec.com/teoria/electronica-digital/170-expresiones-booleanas-enforma-de-minterms-suma-de-productos

Simplificacin de Circuitos Lgicos.

MAXTERMS (Producto de sumas).

Gracias.