Descargar

Reglas básicas del álgebra de Boole

Enviado por Pablo Turmero


    edu.red

    Reglas Básicas del Álgebra de Boole •Muy útiles para la manipulación y simplificación de expresiones booleanas 1.- A + 0 = A 2.- A + 1 = 1 3.- A · 0 = 0 4.- A · 1 = A 5.- A + A = A 6.- A + A = 1 7.- A ·A = A 8.- A ·A = 0 9.- A = A 10.- A + AB = A 11.- A + AB = A + B 12.-(A + B)(A + C) = A + BC A, B, o C pueden representar una única variable o una combinación de variables.

    edu.red

    Reglas del Álgebra de Boole :Demostraciones (I)

    1.- A + 0 = A

    2.- A + 1 = 1

    3.- A ·0 = 0

    edu.red

    Reglas del Álgebra de Boole :Demostraciones (II) 4.- A ·1 = A

    5.- A + A = A

    6.- A + ¯??= 1

    edu.red

    Reglas del Álgebra de Boole :Demostraciones (III)  

    edu.red

    Reglas del Álgebra de Boole :Demostraciones (IV) 10.A + AB = A

    A + AB = A (1 + B) Sacar factor común A (ley distributiva) = A ·1 Regla 2: (1 + B) = 1 = A Regla 4: A ·1 = A

    edu.red

    Reglas del Álgebra de Boole :Demostraciones (V)  

    edu.red

    Reglas del Álgebra de Boole :Demostraciones (VI) 12.- (A + B)(A + C) = A + BC (A + B)(A + C) = AA + AC + AB + BC Ley distributiva = A + AC + AB + BC Regla 7: AA = A = A + BC Regla 10: A + AB = A (x2 veces)

    edu.red

    Teoremas de Morgan •Morgan propuso dos teoremas que constituyen una parte muy importante del Álgebra de Boole.

    •Estos teoremas nos demuestran la equivalencia entre:

    –Las puertas NAND y Negativa-OR –Las puertas NOR y Negativa-AND

    edu.red

    Primer Teorema de Morgan  

    edu.red

    Segundo Teorema de Morgan  

    edu.red

    Teoremas de Morgan para Más de Dos Variables  

    edu.red

    Aplicación de la leyes y teoremas de Morgan

    edu.red

    Análisis Booleano de los Circuitos Lógicos •El Álgebra de Boole proporciona una manera concisa de expresar el funcionamiento de un circuito lógico formado por una combinación de compuertas lógicas, de tal forma que la salida puede determinarse por la combinación de los valores de entrada. •Para obtener la expresión booleana de un determinado circuito lógico, la manera de proceder consiste en: –Comenzar con las entradas situadas más a la izquierda. –Ir avanzando hasta las líneas de salida, escribiendo la expresión para cada compuerta lógica.

    edu.red

    Expresión Booleana de un Circuito Lógico •La expresión de la compuerta AND situada más a la izquierda cuyas entradas son C y D es CD. •La salida de la compuerta AND situada más a la izquierda es una de las entradas de la compuerta OR y B es su otra entrada. Por tanto, la expresión para la compuerta OR es B + CD. •La salida de la compuerta OR es una de las entradas de la compuerta AND situada más a la derecha, siendo A su otra entrada. Por lo tanto la expresión de esta compuerta AND será (B + CD)

    edu.red

    Elaboración de la Tabla de Verdad de un Circuito Lógico •Una vez determinada la expresión booleana de un circuito dado, puede desarrollarse una tabla de verdad que represente la salida del circuito lógico para todos los valores posibles de las variables de entrada. •Esto requiere que se evalúe la expresión booleana para todas las posibles combinaciones de valores de las variables de entrada

    edu.red

    Evaluación de una Expresión (I)  

    edu.red

    Evaluación de una Expresión (II) •La expresión B + CD es 1 si: –B = 1 B + CD = 1 + 0 = 1 –CD = 1 B + CD = 0 + 1 = 1 –Ambos son igual a 1 B + CD = 1 + 1 = 1

    •El término CD es 1 sólo si: –C y D son 1.

    •Conclusión: –A(B+ CD) = 1 cuando: •A = 1 y B = 1, independientemente del valor de C y D

    •A = 1 y C = 1 y D = 1, independientemente del valor de B

    –A(B+ CD) = 0 para el resto de combinaciones posibles.

    edu.red

    Evaluación de una Expresión (III) •Representación de los resultados en una tabla de verdad. Tabla de Verdad del Circuito Lógico

    edu.red

    Simplificación Mediante el ÁlgebraDe Boole •Muchas veces, a la hora de aplicar el álgebra booleana, hay que reducir una expresión a su forma más simple o cambiarla a una forma más conveniente para conseguir una implementación más eficiente. •Este método de simplificación utiliza las reglas, leyes y teoremas del Álgebra de Boole para manipular y simplificar una expresión.

    edu.red

    Simplificar una Expresión AB + A(B+ C) + B(B+ C) •Aplicar la ley distributiva al segundo y tercer término de la expresión del siguiente modo: AB + AB+ AC + BB + BC

    •Aplicar la regla 7 (BB = B) al cuarto término: AB + AB+ AC + B + BC

    •Aplicar la regla 5 (AB + AB= AB) a los dos primeros términos: AB + AC + B + BC

    •Aplicar la regla 10 (B + BC = B) a los dos últimos términos: AB + AC + B

    •Aplicar la regla 10 (AB + B = B) a los términos primero y tercero: B + AC

    edu.red

    Circuitos Lógicos Original y Simplificado •A partir de la simplificación se obtienen dos redes de puertas equivalentes: –Se pasa de cinco a dos compuertas necesarias para implementar la expresión. –Para cualquier combinación de valores de entrada A, B y C se obtiene siempre la misma salida.

    edu.red

    Forma Estándar de las Expresiones Booleanas •Función lógica es una expresión booleana que relaciona variables lógicas directas o complementadas por medio de operaciones AND y OR.

    •Todas las expresiones booleanas, independientemente de su forma, pueden convertirse en cualquiera de las dos formas estándar: –Suma de productos . –Producto de sumas .

    •Esto posibilita que la evaluación, simplificación e implementación de las expresiones booleanas sea mucho más sistemática y sencilla.

    edu.red

    Expresiones Booleanas y Tablas deVerdad •Todas las expresiones booleanas se pueden convertir fácilmente en tablas de verdad utilizando los valores binarios de cada término de la expresión. •La tabla de verdad es una forma muy común de expresar el funcionamiento lógico de un circuito. •Las tablas de verdad se pueden encontrar en las hojas de especificaciones y en otras documentaciones relativas al funcionamiento de los circuitos y sistemas digitales. •Las expresiones suma de productos y producto de sumas pueden calcularse mediante tablas de verdad.

    edu.red

    DETERMINAR LAS EXPRESIONES ESTANDAR A PARTIR DE UNA TABLA DE VERDAD

    edu.red

    Conversión de un Producto de Sumas a Tabla de Verdad

    edu.red

    Conversión de una Suma de Productos a Tabla de Verdad

    edu.red

    EJERCICIOS (I) Demostrar las siguientes igualdades: _ 1. A + A B = A + B ________ _ _ _ 2. A + B + C = A B C

    3. A + (B + C) = (A + B) + C

    4. A + AC = A

    edu.red

    EJERCICIOS (II)             Simplificar las siguientes expresiones booleanas, utilizando los teoremas del algebra de Boole, diseñar los circuito con compuertas lógicas inicial y simplificado.

    edu.red

    EJERCICIOS (III) Convertir la siguiente tabla a suma de productos (1) y producto de sumas (0).

    edu.red

    EJERCICIOS (IV) Convertir la siguiente tabla a suma de productos (1) y producto de sumas (0).

    edu.red

    EJERCICIOS (V)