Postulados y Teoremas Representacin de Funciones Lgicas Combinaciones dont care Minimizacin de funciones Lgicas

Ing. Ronald Ponguillo Intriago ESPOL FIEC rponguil@espol.edu.ec

Historia En 1847, George Boole desarrolla el lgebra como anlisis matemtico. En 1938, Shannon emplea esta lgebra en circuitos de conmutacin. Propsito Proporciona una notacin para describir funciones lgicas Define un nmero de operaciones que se pueden realizar con el fin de simplificarlas. Define variables, constantes y funciones para describir sistemas binarios, y una serie de teoremas que permiten manipular expresiones lgicas.

Constantes booleanas: Se definen dos: 0 (estado FALSO) y 1 (VERDADERO). Variables booleanas:

Son magnitudes que pueden tomar diferentes valores en diferentes momentos. Pueden representar seales de entrada o de salida Reciben nombres de caracteres alfabticos como: A, B, X, Y. Slo pueden tomar los valores 0 o 1.

Funciones booleanas:
Describen el comportamiento del sistema. Cada operacin lgica (suma, multiplicacin, negacin, ...) posee una notacin en el lgebra booleana

Un operador booleano puede ser completamente descripto usando tablas de verdad.

El operador AND es conocido como producto booleano (.) y el OR como la suma booleana (+)

El operador NOT se nota con un o una barra

Tabla de verdad de esta funcin:

El NOT tiene precedencia que todos El AND ms que el OR

ms

Identidad Nula Idempotencia Inversa Conmutativa Asociativa Distributiva Absorcin De Morgan

1.A=A 0.A=0 A.A=A A.=0 A.B=B.A (A.B)C=A.(B.C) A+B.C=(A+B).(A+C) A.(A+B)=A

0+A=A 1+A=1 A+A=A A+=1 A+B=B+A (A+B)+C=A+(B+C) A.(B+C)=A.B+A.C A+A.B=A

A.B = A + B

A + B = A.B

Usando identidades booleanas podemos reducir esta funcin:

(X+Y)(X+Y)(X+Z) (XX + XY+YX+YY)(X+Z) (X + XY+YX + 0) (X+Z) (X + X(Y+Y)) (X+Z) (X) (X+Z) XX+XZ XZ DeMorgan Distributiva Indempotencia e Inversa Nula y Distributiva Inversa, Identidad y Nula Distributiva Inversa e Identidad

Varias frmulas pueden tener la misma tabla de verdad Son lgicamente equivalentes

En general se suelen elegir las formas cannicas Suma de productos: F(x,y,z) = xy + xz +yz Producto de sumas: F(x,y,z) = (x+y) . (x+z) .(y+z)

Es fcil convertir una funcin a una suma de productos usando la tabla de verdad. Elegimos los valores que dan 1 en la salida y hacemos un producto (AND) de la fila (entradas) (negando si aparece un 0) Luego sumamos todo (OR)

F(x,y,z) = (xyz)+(xyz)+(xyz)+(xyz)+(xyz)

Las computadores digitales contienen circuitos que implementan funciones booleanas

Cuando ms simple la funcin ms chico el circuito Son ms baratos, consumen menos, y son mas rpidos!

Podemos usar las identidades del algebra de Boole para reducir estas funciones.

Combinando compuertas se pueden implementar funciones booleanas Este circuito implementa la siguiente funcin:

Simplificando las funciones se crean circuitos ms chicos!

A 0 0 0 0 1 1 1 1

B 0 0 1 1 0 0 1 1

C 0 1 0 1 0 1 0 1

M 0 0 0 1 0 1 1 1

M(A, B, C) = ABC + A BC + ABC + ABC

NAND y NOR son dos compuertas muy importantes. Con la identidad de Morgan se pueden implementar con AND u OR. Son ms baratas y cualquier operacin bsica se puede representar usndolas cualquiera de ellas (sin usar la otra)

El lgebra de Boole define varios teoremas para simplificar expresiones booleanas Ley conmutativa: AB = BA A + B = B+A Ley asociativa: A(BC) = (AB)C A+(B+C)=(A+B)+C Ley distributiva: A(B+C) = AB + AC A + BC = (A+B) (A + C)

Identidades

A1A A00 AAA A0 A=A

A A A A

+ + + +

11 0A AA 1
3) A + AB A + B

Teoremas 1) Teorema de Absorcin A + AB A A(A+B)=A 2) Teorema de Adyacencia Lgica AB + B B

4) Leyes deDeMorgan A B C + B + C A + B + C A B C

Sea la siguiente tabla de verdad:

Encontrar la expresin booleana de la salida (C)

Solucin:
Para extraer la expresin booleana, se consideran slo los estados de A y B (en forma de productos, o AND) para cada lnea en la que C es 1 y se unen mediante la funcin OR (suma).

C=AB+AB mintrmino

Sea el siguiente diagrama lgico:

Obtener la expresin a la salida:

Solucin: El mtodo ms sencillo es escribir sobre el diagrama la salida de cada puerta lgica.

C = A.B + A.B

A partir de la siguiente expresin booleana, se desea obtener el diagrama lgico equivalente:

C = AB + AB + (A+B)
Basta convertir cada mintrmino a su equivalente lgico, uniendo todos con un OR (este caso)