66.

70 Estructura del Computador Algebra de Boole

Algebra de Boole

Para qu le podra hacer falta a un ingeniero? otra Algebra ms!?

Algebra de Boole
Concebida por George Boole (1815-1864) en su libro THE LAWS OF THOUGHT
Una oracin es una proposicin si slo se le puede asignar uno de dos valores de verdad: Verd. o Falso Cules de las siguientes son proposiciones a) 3 es un nmero primo b) cuando se aade 5 a 7, la suma es 14 c) Existen seres vivos en Venus d) Es primo el nmero ll? e) Escriba con letra clara! f) El rbol Proposiciones compuestas al 1 es el primer nmero primo y es mayor que cero b) N aprueba estudia Algebra o N va al club

Su formalizacin ms precisa fue presentada recin en 1904 por Edward Vermilye Huntington: - 7 Axiomas Establece un paralelo entre la Teora de Conjuntos y el Clculo Proposicional: ambos son un Algebra de Boole Da una base terica para poder disear y analizar circuitos lgicos (electrnica digital)

Postulados de Huntington
P1) Se define un conjunto K de objetos sujetos a una ley de equivalencia "=" de modo que si a=b b puede sustituir a a en cualquier expresin sin afectar su validez P2) Regla de combinacin "+" de modo que si a y b estan en K entonces a+b esta en K P2) Regla de combinacin "." de modo que si a y b estan en K entonces a.b esta en K P3) Existe un elemento 0 en K de modo que para todo a en K, a+0=a P3) Existe un elemento 1 en K de modo que para todo a en K, a.1 =a P4) a + b = b + a P4) a . b = b . a P5) a . (b + c) = (a. b) + (a . c)

P5) a + (b . c) = (a+b) . (a + c) P6) Existe un ~a de modo que a . ~a = 0 a + ~a = 1

P7) Existen en K al menos dos elementos que no son equivalentes entre s

Algebra de Boole
Postulados Teoremas

Aplicacin a un problema especfico

Aplicando el Algebra de Boole

Los siete postulados de Huntington deben verificarse en: - los elementos del conjunto K - los dos operadores

- Investigar si los circuitos de rels pueden expresarse por medio del lgebra de Boole

Principio de dualidad
+ 0 . 1

- Presente en los Postulados de Huntington - Si dos expresiones son iguales => sus duales tambin son iguales

Teoremas
Idempotencia: a+a=a a.a=a a.0=0 a . (a + b) = a a . (b . c) = (a . b) . c Elemento absorbente: a + 1 = 1 Absorcin : Asociatividad: a + (a . b) = a

a + (b + c) = (a + b) + c

Complemento nico: El elemento a' asociado al a es nico Involucin: (a')' = a 0' = 1 1' = 0 (a . b)' = a' + b'

En cualquier lgebra booleana: Leyes de De Morgan

(a + b)' = a' . b'

Teoremas
Idempotencia

Teoremas
Idempotencia

Funciones lgicas
Comparar con las funciones del Anlisis Matemtico Dos valores posibles Variables binarias: dependientes e independientes Expresin algebraica: operadores lgicos Representacin por tablas de verdad

Funciones lgicas
Funciones de dos variables: cuntas? cules?

Idem N variables

Cmo expresar una funcin lgica

Cada funcin tiene una nica Tabla de Verdad?

Cada funcin tiene una nica Expresin Algebraica?

xyz + xy z + x y = xz + xy ?

Expresiones equivalentes

Buscando la representacin algebraica unvoca

ALGUNAS DEFINICIONES LITERAL: Una variable y/o su complemento. TRMINO PRODUCTO: Conjunto de literales relacionadas por el conectivo TRMINO SUMA: Conjunto de literales relacionadas por el conectivo + TRMINO NORMAL: Trmino producto o suma en el cual ningn literal aparece ms de una vez - Producto normal - Suma normal TRMINO CANNICO: Trmino normal que contiene tantos literales como variables la funcin.

Buscando la representacin algebraica unvoca

El adjetivo cannico se usa con frecuencia en matemticas para indicar que algo es natural, como debe ser e independiente de elecciones arbitrarias, que es absoluto y no relativo a un observador, que es intrnseco y no depende de un sistema de referencia

(Wikipedia) SUMA CANNICA Y PRODUCTO CANONICO:

Suma de minitrminos Producto de maxitrminos

a tabla l e d o s a c m o p de ver nnica? a c n i expres a l a d a d

Representaciones unvocas de una funcin lgica

Tabla de verdad Expresin algebraica por suma de minitrminos Expresin algebraica por producto de maxitrminos Suma de minitrminos en forma numrica Producto de maxitrminos en forma numrica

Compuerta
Smbolo tipo bloque que representa una operacin lgica Compuertas: AND, OR, NOT, NAND, NOR, XOR Relacin directa entre la expresin algebraica y su representacin grfica Porqu representar por compuertas?

Dada una funcin lgica F(x,y,..)

porqu? porqu?

Expresin unvoca

Expresin simple

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

F(x,y,z) = xz + xy

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

F(x,y,z) = xz + xy

Criterio de simplicidad de una expresin booleana

Menor nmero de trminos Menor nmero de variables en cada trmino

Porqu se que son equivalentes?

3 expr. equivalentes: S = BC + ABC S = ABC + AB S = BC + AB

Expresin Mnima

CI comerciales
74AC04

CI comerciales
74HC00 74HC00 74HC00

CI comerciales

Expresiones algebraicas simples

Menos compuertas Menos entradas por compuerta
Menor costo Menor tamao Menor consumo

Expresiones algebraicas simples

Menos compuertas Menos entradas por compuerta
Menor costo Menor tamao Menor consumo

Cmo hago para obtener la expresin ms simple?