• Teorema 1: A + A = A
• Teorema 2: A • A = A
• Teorema 3: A + 0 = A
• Teorema 4: A • 1 = A
• Teorema 5: A • 0 = 0
• Teorema 6: A + 1 = 1
• Teorema 7: (A + B)’ = A’ • B’
• Teorema 8: (A • B)’ = A’ + B’
• Teorema 9: A + A • B = A
• Teorema 10: A • (A + B) = A
• Teorema 11: A + A’B = A + B
• Teorema 12: A’ • (A + B’) = A’B’
• Teorema 13: AB + AB’ = A
• Teorema 14: (A’ + B’) • (A’ + B) = A’
• Teorema 15: A + A’ = 1
• Teorema 16: A • A’ = 0
Algebra de Boole: Teoremas
Actividad:
Demuestre este teorema: X • Y + X • Y’ = X
Demuestre este teorema : X + X • Y = X
---
igualdad X • Y + X • Y’ = X • Y + X • Y’
distributividad (8) = X • (Y + Y’)
complementariedad (5) = X • (1)
identidad (1D) = X
---igualdad X + X • Y = X + X • Y
identidad (1D) = X • 1 + X • Y
distributividad (8) = X • (1 + Y)
nulo (2) = X • (1)
identidad (1D) = X
Cada ejercicio estará compuesto de tres partes. La primera parte será el enunciado del ejercicio. La segunda estará formada por la resolución del ejercicio, con todos los elementos que se pidan, como son tabla de verdad, funciones simplificadas, esquemas, etc. La tercera y última parte de cada ejercicio, estará formada por una breve explicación de la teoría empleada para la realización de cada ejercicio, y como se ha aplicado al mismo.
Dado que los ejercicios de esta memoria se van a realizar con el programa Workbench, y éste representa las variables negadas de una función con el símbolo de comillas (‘) utilizaré el mismo símbolo durante toda la memoria para representar las variables negadas.
1. Construir mediante puertas los circuitos correspondientes a las siguientes funciones lógicas:
a)
(abc + a’c)d
b)
[a+b(b’+c)]d’
La teoría empleada para la realización de este ejercicio es la de los principios básicos de la electrónica digital, es decir las puertas lógicas. Las puertas lógicas son el dispositivo básico con que se puede montar cualquier circuito. Estas puertas representan dos posibles estados (1 y 0) en los que puede haber o no haber tensión. Pueden ser de diversos tipos, representando cada una de ellas una operación lógica básica.
F = A'B'+A'B+AB'
Tabla de Verdad
A B S 0 0 1 0 1 1 1 0 1 1 1 0
F = A'B+AB'
Tabla de Verdad
1 1 0
La teoría empleada para realizar este ejercicio es la basada en la obtención de una función y de su tabla de verdad a través del diseño del circuito o viceversa.
En este caso se nos da un diseño de circuito determinado, y a través del mismo, hay que deducir la tabla de la verdad, teniendo en cuenta cómo es el circuito, las puertas lógicas que incluye, y las distintas variaciones a que se somete a las variables. La tabla de verdad es un cuadro formado por tantas columnas como variables tenga la función, y corresponde a la representación gráfica de una función booleana.
Una vez obtenida la tabla de la verdad, habrá que obtener la Función Booleana, que es una variable binaria, cuyo valor depende de una expresión algebraica. Esta función vendrá dada por el número de puertas, y las características de éstas que haya en el diseño del circuito.
Dependiendo del valor de salida que se escoja, esta función se podrá representar de dos maneras, por “producto de sumas” y por “suma de productos” siendo funciones equivalentes. En este caso se ha optado por la suma de productos, y para ello hay que escoger los 1 que hay en la salida, dando como resultado una función que representa el circuito diseñado.
3. Para realizar una primera selección de ingreso en una determinada empresa, se solicita a los aspirantes que cumplan los requisitos de alguno de los tres puntos siguientes:
estar en posesión del título académico y dos años de experiencia en trabajo análogo al ofertado
acreditar cinco años de experiencia y vivir en la misma ciudad
ser recomendado de la dirección
En todos los casos será necesario tener coche propio.
Obtener la función lógica que relacione adecuadamente todas las variables, y construir un circuito que efectúe automáticamente la selección.
Tabla de Verdad
1 0 1 1 1 1 1 0 0 1 1 1 0 1 1 1 1 1 0 1 1 1 1 1 1
Tener coche = A Para ser admitido, tienen que estar Tener título = B activas al menos la variable A y cualquiera otra.
Tener experiencia = C Ser recomendado = D
Representación de la función por Suma de productos
La teoría empleada para realizar este ejercicio, está basada de nuevo en las puertas lógicas, pero con variaciones. En este problema nos dan una serie de variables reales, para que a partir de esos supuestos, se construya un circuito electrónico.
El primer paso que se debe seguir, es asignar a cada uno de esos supuestos una letra (A, B, C, D) que serán con las que más adelante construyamos la función. Una vez asignada la letra a cada supuesto, habrá que realizar una Tabla de Verdad.
La Tabla de Verdad es una tabla que incluye tantas variables de entrada y de salida como tengamos. Según las entradas que tengamos, obtendremos una u otra salida. En este caso tenemos cuatro variables de entradas y una única salida y hay que tener en cuenta que tiene que haber siempre una variable activa (en este caso, tener coche) mas una cualquiera de las otras para resultar admitido.
Por tanto, siempre que tengamos un uno en la variable del coche (A) y un uno cualquiera en cualquiera de las otras variables, la salida será un uno. En el caso contrario en que en la variable A tengamos un cero, dará igual cualquiera de las otras variables, puesto que la salida siempre dará como resultado cero.
Una vez obtenida la Tabla de Verdad, con todas sus entradas y salidas, hay que proceder a obtener la función lógica de dicha tabla. Esto se puede realizar de dos maneras, fijándose en los unos a la salida, o en los ceros.
Si nos fijamos en los unos, habrá que sumar todos los productos lógicos para que esa función de cómo resultado uno, obteniendo tantos productos lógicos como unos haya. Cuando una de las variables vale uno, se representa esa variable, pero si la variable vale cero, se representará una variable negada.
Si nos fijamos en los ceros, habrá que multiplicar todas las sumas lógicas para que el resultado final de la función sea 0, obteniendo tantas sumas lógicas como 0 haya. Al igual que en el caso anterior cuando la variable aparece en forma de 0, se representará esa variable, pero si la variable aparece en forma de 1, se representará negada.
4. Extraer la función en su forma canónica en producto de sumas y suma de productos, de la siguiente tabla:
A B C S 0 0 0 1 0 0 1 0 0 1 0 0 0 1 1 1 1 0 0 0 1 0 1 1 1 1 0 1 1 1 1 0
F = (A + B + C’)(A + B’ + C)(A’ + B + C)(A’+B’+C’)
unos de las salidas y otra de producto de sumas, obtenidas a partir de los ceros de las salidas.
5. Simplificar esta expresión mediante la aplicación de los postulados, propiedades y teoremas del álgebra de Boole:
F = (A+B+C)(A+B+D)(A’+B+C’)(C+D)(B+D’)
__________________________________ __________________________________
F = (A+B+C)(A+B+D)(A’+B+C’)(C+D)(B+D’)
________________________________ F = A’B’C’+ A’B’D’ + A’B’C + C’D’ + B’D
_
F = (A’C’ + A’D’ + A’C + D)B’ + C’D’
_
F = A’B + A’B+ CD _
F = A’B + C’D’ __________ F = A’B + C’D’
F= (A + B’)(C+D)
Para lograr estas simplificaciones máximas, el Álgebra de Boole postula una serie de reglas, leyes y postulados para lograrlo.
La primera de estas leyes, es la Ley Conmutativa, que establece que el orden que se aplica a las variables en una operación OR es indiferente.
La segunda de las leyes es la Ley Asociativa, que establece que al aplicar la operación OR a más de dos variables, el resultado es el mismo, independientemente de la forma en que se agrupen las variables.
A + (B+C) = (A+B) +C
La tercera ley es la Ley distributiva, que dice que si se aplica la operación OR a dos o más variables, y luego se aplica la operación AND al resultado de esa operación y otra variable aislada, es equivalente a aplicar la operación AND a la variable aislada con cada uno de las otras dos variables y luego aplicar la operación OR a los productos resultantes.
A(B + C) = AB+AC
Además de estas leyes, el Álgebra de Boole tiene una serie de reglas para la simplificación de expresiones booleanas.
A + 0 = A
A + 1 = 1
A · 0 = 0
A· 1 = A
A + A = A
A + A’ = 1
A · A = A
A · A’ = 0 A · A’’ = A
A + AB = A + B
A + AB = A
A + A’B = A+B
La última parte del Álgebra de Boole, son los Teoremas de DeMorgan, que forman una parte muy importante del Álgebra de Boole, ya que nos indican equivalencias entre distintas puertas.
El primer teorema dice que “ el complemento de dos o más variables a las que se aplica la operación AND es equivalente a aplicar la operación OR a los complementos de cada variable.”
___
XY = X’ + Y’
El segundo teorema dice que “ el complemento de dos o más variables a las que se aplica la operación OR es equivalente a aplicar la operación AND a los complementos de cada variable.”
_____
X + Y = X’Y’
En el ejercicio realizado, se han utilizado todos los métodos del Álgebra de Boole para la simplificación de la función.
Se comienza aplicando el segundo teorema de DeMorgan para negar dos veces la función. A continuación se utiliza la Ley distributiva para sacar factor común de la función y simplificarla. Y se termina utilizando los postulados para llegar al resultado final.
6. Transformar las siguientes funciones para poder implementar el circuito exclusivamente con puertas NAND
_____________
a) F = ABC’D + AB’C
____________ ____________ ______ _____ F = (abc’d) (ab’c)
______ _________ b) F= (A’+B) (A’+B’+C)
F = (A’’B) (A’’B’’C’)
F = (AB’) (ABC’)
En el enunciado del ejercicio, indica que las funciones que se presentan, deben ser implementadas en un circuito formado con puertas NAND. Como dichas funciones están escritas con todo tipo de puertas, hay que conseguir convertir esas funciones en multiplicaciones lógicas, para así poder montar el circuito con puertas NAND de dos entradas.
En el primero de los casos, la función viene dada como una suma de productos que se niega a la salida. El primer paso a dar, es convertir esta función en una multiplicación, para lo que se niega dos veces toda la función, obteniéndose dos productos, negados individualmente, y luego negados dos veces a la salida. Si se aplica a toda esta función el postulado 9 del Álgebra de Boole, esta función negada dos veces a la salida, es igual que la misma función sin negar, por lo que se eliminan las negaciones, obteniéndose un producto de productos, que ya si que se puede implementar con puertas NAND.
