Unidad IV

Algebra Booleana
Conocer y aplicar los postulados y teoremas fundamentales del lgebra booleana adems
de relacionarlos y aplicar los operadores lgicos bsicos en circuitos elctricos,
electrnicos, neumticos e hidrulicos.
Representar las formas cannicas SOP y POS. Reducir funciones booleanas utilizando
los teoremas del lgebra de Boole.
Simplificar funciones booleanas mediante los mtodos de mapas de Karnaugh y
McClausky.
Implementar las funciones con diferentes compuertas lgicas.
Implementar funciones lgicas utilizando solo compuertas NOR o NAND y con circuitos
hidrulicos y neumticos.
4.1 Teoremas y postulados fundamentales

Cuando se trabaja con circuitos digitales es muy comn que al final de un diseo se tenga
un circuito con un nmero de partes mayor al necesario.
Para lograr que el circuito tenga la cantidad de partes correcta (la menor posible) hay que
optimizar (reducir).
Un diseo ptimo causar que:

El circuito electrnico sea ms simple

El nmeros de componentes sea el menor
El precio de proyecto sea el ms bajo
La demanda de potencia del circuito sea menor
El mantenimiento del circuito sea ms fcil
El espacio necesario ( en el circuito impreso) para la implementacin del circuito
ser menor

En consecuencia que el diseo sea el ms econmico posible. Una herramienta para reducir
las expresiones lgicas de circuitos digitales es la matemticas de expresiones lgicas,
(George Boole en 1854) La herramienta se conoce como lgebra de Boole.
El lgebra booleana es un sistema matemtico deductivo centrado en los valores cero y uno
(falso y verdadero). Un operador binario definido en ste juego de valores acepta un
par de entradas y produce un solo valor booleano, Para cualquier sistema algebraico existen
una serie de postulados inciales, de aqu se pueden deducir reglas adicionales, teoremas y

otras propiedades del sistema, el lgebra booleana a menudo emplea los siguientes
postulados:
El lgebra booleana es una estructura algebraica que rigorizan las operaciones lgicas Y, O
y NO, as como el conjunto de operaciones unin, interseccin y complemento.
Los postulados de un sistema matemtico constituyen los supuestos bsicos a partir de los
cuales es posible deducir las reglas, teoremas y propiedades del sistema. Los postulados
comunes que se utilizan para formular diversas algebraicas son:
Un conjunto de elementos es cualquier coleccin de objetos con alguna propiedad en
comn. Si S es un conjunto y A y B son ciertos objetos.
Cerradura o Cerrado. El sistema booleano se considera cerrado con respecto a un
operador binario si para cada par de valores booleanos se produce un solo resultado
booleano. El lgebra booleana es cerrada bajo las operaciones AND, OR y NOT
Elemento Identidad. Un valor booleano I se dice que es un elemento de identidad con
respecto a un operador binario * si A * I = A. Decimos que un conjunto S tiene un
elemento de identidad respecto a una operacin binaria * sobre S si existe un elemento e S
con la propiedad. e * A = A * e = e para todos x S
El elemento de identidad con respecto a es uno y con respecto a + es cero. No existe
elemento de identidad para el operador NOT. El conjunto de los nmeros naturales N, no
tiene elemento de identidad porque 0 no pertenece al conjunto.
Conmutativo. Se dice que un operador binario * sobre un conjunto S es conmutativo
si A * B = B * A para todos los posibles valores de A y B S. Los operadores y + son
conmutativos.
Asociativo. Se dice que un operador binario * sobre un conjunto es asociativo si (A
*B) * C = A * (B * C) para todos los valores booleanos A, B, y C S denota que A es un
miembro del conjunto S . y + son ambos asociativos, esto es, (AB)C = A(BC) y (A+B)+C
= A+(B+C). (a) x + (y + z) = (x + y) + z (b) x (y z) = (x y) z
Inverso. Un valor booleano I es un elemento inverso con respecto a un operador booleano
* si A * I = B, y B es diferente de A, es decir, B es el valor opuesto de A. Decimos que
un conjunto S, que tiene el elemento de identidad e respecto a un operador *, tiene un
inverso si, para todo A S, existe un elemento B S tal que A*B = e
(a) x + x = 1 (b) x x = O
Ejemplo En el conjunto de enteros, I donde e = 0, el inverso de un elemento a es (-a), ya
que a + (-a) = 0.

 Distributivo. Dos operadores binarios * y % sobre un conjunto S, decimos que *

es distributivos sobre % si A * (B % C) = (A * B) % (A * C) para todos los valores
booleanos A, B, y C. (a) x+(y z)=(x+y) (x+z) (b) x (y+z)=(x y)+(x z)
Un ejemplo de estructura algebraica es un campo. Un campo es un conjunto de elementos,
junto son dos operadores binarios, cada uno de los cuales posee la propiedad 1 a 5 y,
combinados, la propiedad 6. El conjunto de los nmeros reales, junto con los operadores
binarios + y , forman el campo de los nmeros reales. Este campo es la base de la
aritmtica y el lgebra ordinaria. Los operadores y postulados significan lo siguiente:
El operador binario + define la suma.
La identidad aditiva es 0.
El inverso aditivo define la resta.
El operador binario define la multiplicacin.
La identidad multiplicativa es 1.
El inverso multiplicativo de a = 1/a define la divisin, es decir, a1/a=1
La nica ley distributiva vlida es la de sobre +:
a(b + c) = (a b) + (a c)
y + son distributivos uno con respecto al otro, esto es, A(B+C) = (AB)+(AC) y A+(BC)
= (A+B)(A+C).
En la Tabla se presentan los postulados por pares; cada relacin es el dual de su pareja

Nu
m
1
2
3
4
5
6

Postulado

a)

b)

Cerradura
Elemento
Identidad
Conmutativas
Asociativa
Inverso
Distributivo

+ operaciones suma
x+0=x

operacin multiplicacion
x1=x

x+y=y+x
x + (y + z) = (x + y) + z =x+y+z
x + x = 1
x(y + z) = xy + xz
(w + x)(y + z)= wy +xy + wz + xz

xy = yx
(xy)z=x(yz)=xyz
x x = 0
x + yz = (x + y)(x + z)

Teoremas fundamentales del lgebra booleana

Para continuar con nuestro estudio del lgebra booleana vamos a investigar los diversos
teoremas booleanos (tambin conocidos como reglas booleanas) que pueden ayudarnos a
simplificar las expresiones lgicas y los circuitos lgicos. En cada teorema, x es una
variable lgica que puede ser 0 o un 1.

Es posible probar todos los teoremas del lgebra booleana utilizando stos postulados,
adems es buena idea familiarizarse con algunos de los teoremas ms importantes de los
cuales podemos mencionar los siguientes:
Expresiones duales. Dos expresiones se dicen duales una de la otra, si una se puede
obtener de la otra cambiando los operadores binarios (operaciones) ( + ) por () y viceversa
y cambiando los elementos de identidad O's por 1 's y viceversa.
Ejemplo.
La expresin A + B = 1 es dual de la expresin AB = O,
Todas las expresiones de los incisos (a) de los postulados del lgebra booleana son duales
de las expresiones de los incisos (b) correspondientes.
El teorema 1a):

x+x=x

x + x = (x + x) 1
Por el postulado
2b) x 1 = x
= (x + x )(x + x)
5a) x + x = 1
= x + xx
6b) el producto de una
variable por su complemento da 0 x + yz = (x + y)(x + z)
=x+0
5b) una variable ms el
neutro no se altera x x = 0
=x
2b) x 1 = x
Puede probarse si se comprueban ambos valores de x: 0 + 0 = 0 y 1 + 1 = 1
Teorema 1b):

xx=x

x x = xx +0
Por el postulado
2a) 0 es el neutro de la
suma x + 0 = x
= xx + xx
5b) x x = 0
= x(x + x)
6a) x(y + z) = xy + xz
=x1
5a) x + x = 1
=x
2b) x 1 = x
Puede demostrarse si se prueba cada caso. Si x = 0, entonces 0 0 = 0; si x = 1 entonces
11= 1. Por lo tanto x x = x
Observe que el teorema 1b) es el dual del teorema 1a) y que cada uno de los pasos de la
demostracin en la parte b) es el dual de la parte a). Cualquier teorema dual se puede
deducir de forma similar, partiendo de la demostracin de su par correspondiente.
Este teorema implica que cuando existen trminos semejantes en una expresin, basta con
escribir uno de ellos, o bien, que un trmino puede "desdoblarse" tantas veces como se
quiera. Obsrvese que tambin esto implica que An = A para cualquier nmero n entero
positivo.
Ejemplos:
La expresin (X+Y)(X+Y) por idempotencia es igual a X+Y
La expresin XYZXYX por idempotencia es igual a XYZ
La expresin XY+Z+ XY por idempotencia es igual a XY+Z

Teorema 2a):

+ z)

x+1=1
x + 1 = 1 (x + 1)
= (x + x)(x + 1)
= x + x1

Por el postulado:

2b) x 1 = x
5a) x + x = 1
6b) x + yz = (x + y)(x

=x + x
2b) x 1 = x
=1
Establece que si se aplica un OR entre cualquier variable y 1, el resultado siempre ser 1.
Comprobamos esto para ambos valores de x: 0 + 1 = 1 y 1 + 1 = 1
Teorema 2b):

x 0 = 0 por dualidad.

Si se aplica una multiplicacin entre cualquier variable y 0, el resultado es 0 es como la

multiplicacin ordinaria, en donde sabemos que cualquier cantidad multiplicada por 0 es
igual a 0.
Demostracin del inciso (b)
x0 =x0+0
Por el postulado ;
2a) x + 0 = x
= x 0 + xx
5b) x x = 0
= x (0 + x)
6a) x(y + z) = xy + xz
= x x
5b) x x = 0
= 0 una variable por su complemento da 0
Teorema 3 involucin: ( x) = x. Del postulado 5, tenemos x + x = 1 y x x = 0, lo que
define al complemento de x. El complemento de x es x y tambin es (x). Por tanto, dado
que el complemento es nico tenemos que (x) = x.

Antes de presentar ms teoremas, debemos recalcar que cuando se aplican los teoremas la
variable x puede llegar a representar una expresin que contiene ms de una variable. Por
ejemplo: x y(x y) = 0

Los teoremas en que intervienen dos o tres variables se pueden demostrar algebraicamente
a partir de los postulados y los teoremas que ya demostramos.

Teorema 4: asociativo
a) x + (y + z) = (x + y) + z
b) x(y z) = (xy)z

Teorema 5: DeMorgan
a) (x + y) = xy
b) (xy) = x + y

Teorema 6: Absorcin
a) x + xy = x
x + xy = x 1 + xy
= x(1 + y)
= x (y + 1)
=x1
=x

por el postulado:

2b) x 1 = x
6a) x(y + z) = xy + xz
3a)
2a) x + 0 = x
2b) x 1 = x

b) x(x + y) = x por dualidad

este teorema se puede usar en diversos casos de simplificacin, basta con usar identificar en
una suma, una expresin que se repite primero en forma aislada y luego multiplicando a
otra expresin.
Ejemplos.
La expresin XY + XYZ por absorcin es igual a XY
La expresin A+ AB por absorcin es igual con A
Teorema 7:
a) x + xy = x + y
b) x + xy = x + y
Ejemplos:
La expresin AB + AC + BC por consenso es igual a AB + AC
La expresin XYZ + (XY) W + ZW por consenso es igual a XYZ +( XY) W

Teorema 12: A (A + B) = AB Teorema 13: AB + AB = A Teorema 14: (A +

B) (A + B) = A

Ejemplo servirn para ilustrar cmo pueden aplicarse los teoremas booleanos.
Simplifique la expresin y = ABD + ABD
Factorice las variables comunes AB mediante el uso del teoremas por el postulado 6a)
x(y + z) = xy + xz
y = AB(D + D)
Si utilizamos el postulado 5a, el trmino entre parntesis es equivalente a 1. As
y = AB 1
utiliza el postulado 2b) x 1 = x
= AB
Simplifique la expresin z = (A + B)(A + B)

Podemos expandir la expresin si multiplicamos los trminos postulado 6a (w + x)(y + z)

= wy + xy + wz + xz
z = AA + AB + BA + BB
Si invocamos el postulado 5b) x x = 0 Adems, el teorema 1a) x x = x
z = 0 + A B + BA + B = AB + AB + B
Si factorizamos la variable B postulado 6a) x(y + z) = xy + xz tenemos que:
z = B(A + A +1)
Por ltimo, utilizando el postulado 2b) x1 = x y teorema 2a) x + 1 = 1
z=B
Simplifique x = ACD + ABCD
Si factorizamos las variables comunes CD, tenemos que
x = CD(A + AB)
Utilizando el teorema 7a) x + xy = x + y, de manera que
x = CD(A + B)
= ACD + BCD
Simplificar y = AC + ABC Use los teoremas 6 y postulado 6
Simplificar y = ABCD + ABCD Use los postulado 6 y 5
Simplificar y = AD + ABD Use los teoremas 7 y postulado 6
Simplifique la expresin z = ((A + C)(B + D)) en una en la que slo haya variables
individuales invertidas.
Si utilizamos el teorema 5b) y tratamos a (A + C) como x y a (B + D) como y, tenemos
que
z = (A + C) + (B + D)
Ahora el trmino (A + C) puede simplificarse mediante la aplicacin del teorema 5a)
z = (AC) + BD
si utilizamos el teorema 3
z = AC + BD