Algebra booleana, operaciones lógicas,

simplificación de funciones, Mapas de Karnaught

Álgebra de Boole
Se denomina así en honor a George Boole (1815-1864), matemático
inglés autodidacta, que fue el primero en definirla como parte de un
sistema lógico.
El álgebra de Boole está formada por un conjunto de variables
Booleanas, x∈{0,1}
Es decir variables que sólo pueden tomar dos valores: 0 ó 1, abierto o
cerrado, encendido o apagado, etc
Un literal l es una variable o su negada. Existen dos tipos: literales con signo
positivo cuando representan el valor ‘1’ de la variable (l=x ), y con signo
negativo cuando representa el valor ‘0’ ( l= x = x´)
Una cláusula (o término C) está formada por un conjunto de literales
enlazados mediante conectivas lógicas.
Una fórmula lógica ϕ está formada por conjuntos de cláusulas enlazadas
mediante conectivas lógicas. Matemáticamente, toda fórmula lógica ϕ de n
variables puede verse también como una función multivariable.
Una interpretación de una fórmula lógica ϕ es el valor lógico de la fórmula
cuando se le asignan valores de verdad (TRUE / FALSE) a sus variables. En
consecuencia, existirán tantas interpretaciones como combinaciones de
asignaciones posibles.
Se dice que una fórmula lógica es satisfacible cuando existe al menos una
interpretación que la hace verdadera.
Propiedades
Axiomas básicos
1: La ley asociativa:
(a+b)+c=a+(b+c)
(a·b)·c=a·(b·c)
2: Existencia del elemento neutro:
a+0=a
a·1=a
3: La ley conmutativa:
a+b=b+a
a⋅b=b⋅a
4: Ley distributiva:
a+(b⋅c)=(a+b)⋅(a+c)
a⋅(b+c)=(a⋅b)+(a⋅c)
5: Existencia del elemento complementario:
a+a=1
a⋅ a=0
AND
6: Ley de idempotencia para el producto: a⋅a=a
7: Ley de absorción para el producto: a⋅0=0
8: Ley de identidad para el producto: a⋅1=a
OR

9: Ley de idempotencia para la suma: a+a=a

10: Ley de absorción para la suma: a+1=1
11: Ley de identidad para la suma: a+0=a

NOT

12: Ley de involución: a = a

Leyes de De Morgan

13: a + b= a ⋅ b
14: a ⋅ b= a + b
REPRESENTACIÓN DE FUNCIONES LÓGICAS
FÓRMULA CANÓNICA DISYUNTIVA (SOP)
MINTÉRMINO (mi): término producto en el que
aparecen todas las variables, ya sean complementadas o
sin complementar.
FÓRMULA CANÓNICA DISYUNTIVA O DE MINTÉRMINOS:
suma de mintérminos. (Suma de Productos)
Dada la lista completa de mintérminos y asignando 1’s y
0’s arbitrariamente a las variables, siempre hay un, y sólo
un, mintérmino que toma el valor 1.
Un mintérmino es un término producto que es 1
exactamente en una línea de la tabla de Verdad.
La fórmula compuesta por todos los mintérminos será
idénticamente 1.
Cada fórmula de conmutación puede expresarse como
suma de mintérminos. Y esa fórmula es única.
NOTACIÓN: Un mintérmino se designa por “mi” siendo i
el número decimal correspondiente de la tabla de
verdad. Para el producto, el 0 se asocia a la variable
complementada y el 1 a la variable sin complementar.
EJEMPLO:
Formas estándar de las expresiones
Booleanas
Suma de productos (SOP) Producto de sumas (POS)
Ejemplo: X = AB + BCD + AC Ejemplo: X = (A+B)(B+C+D)(A+C)
Forma canónica de la suma de productos
La metodología empleada en la transformación de una suma de productos a su forma canónica se
basa en la regla 6, que establece que una variable sumada con su complemento es siempre igual a
1; A + A' = 1. Los pasos son los siguientes:
– Los términos producto que no contengan la(s) variable(s) del dominio, multiplicarlos por un
término formado por dicha variable más el complemento de la misma (regla 6).
– Repetir el paso 1 para todos los términos de la expresión que no contengan todas las variables (o
sus complementos) del dominio. Resolver los términos intervenidos.
• Ejemplo
– Convertir la expresión booleana ABC' + BC + A' a su forma canónica.
• El dominio de la expresión es el conjunto de variables A, B y C. Se observa la falta de
formato estándar para el segundo y tercer término producto. Sobre ellos se aplicará el
procedimiento, para luego volver a agrupar toda la expresión:
– Término BC
• BC = BC ∙(A+A') = ABC + A'BC
– Término A’
• A' = A'(C+C') = A'C+A'C' ; la expresión aún no tiene el formato canónico, entonces
multiplicamos cada término por (B+B')
A'C(B+B') +A'C'(B+B') = A'BC + A'B'C + A'BC' + A'B'C'
ABC' + BC + A' = ABC + A'BC + A'BC + A'B'C + A'BC' + A'B'C‘
 Simplificación mediante algebra de Boole
AB + A(B+C) + B(B+C) La simplificación consiste en
AB + AB + AC + BB + BC implementar una función con el
AB + AC + B + BC menor número de puertas posible
AB + AC + B
B + AC
Ejemplos de simplificación
1) Encuentre la expresión Booleana de los siguientes circuitos
2) Construya el circuito lógico de cada una
de las siguientes expresiones.
a) X = (AB(C+D))´
b) Z = (A + B + C´DE´)´ + B´CD´
c) Y = ((M + N)´ +P´Q )
d) X = (W + PQ´)´
e) Z = MN ( P + N´)
f) X = (M + N)(M´+ P)(N´+ P´)
g) Z = A´BC´+ ABC´+ BC´D
h) X = (A´BC´)´
i) Y = (A´+ B´C)´
j) Z = (ABC´D´)´
k) X = A((B + C´)´)´D
l) Y = ((M + N´)(M´+ N))´
m) X = (((AB)´C)´D)´
3) Utilizando los teoremas de Boole y Demorgan simplificar las
expresiones de la f a la m.

4) Realizar el circuito de cada una de las expresiones simplificadas

obtenidas de la f a la m.