lgebra Booleana

La herramienta fundamental para el anlisis y diseo de circuitos digitales es el lgebra Booleana.

Esta lgebra es un conjunto de reglas matemticas (similares en algunos aspectos al lgebra
convencional), pero que tienen la virtud de corresponder al comportamiento de circuitos basados
en
dispositivos de conmutacin (interruptores, relevadores, transistores, etc). Los tres ejemplos
clsicos de lgebras boolenas(lgica proposicional, lgebra de conjuntos, lgebra de switches) y
herramientas bsicas como tablas
de verdad y diagramas de Venn.

. lgebra Booleana

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, por ejemplo, el operador booleano AND acepta dos entradas
booleanas y produce una sola salida booleana.
Para cualquier sistema algebraico existen una serie de postulados iniciales, de aqu se pueden
deducir reglas adicionales, teoremas y otras propiedades del sistema, el lgebra booleana a
menudo emplea los siguientes postulados:

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.

Conmutativo. Se dice que un operador binario " " es conmutativo si X Y = Y Xpara todos los
posibles valores de X y Y.

Asociativo. Se dice que un operador binario " " es asociativo si (X Y) Z = X (Y Z) para

todos los valores booleanos X, Y, y Z.

Distributivo. Dos operadores binarios " " y " % " son distributivos si A (Y % Z) = (X Y) % (X
Z) para todos los valores booleanos X, Y, y Z.

Identidad. Un valor booleano I se dice que es un elemento de identidad con respecto a un

operador binario " " si X I = X.

Inverso. Un valor booleano I es un elemento inverso con respecto a un operador booleano " "
si X I = Y, y Y es diferente de X, es decir, Y es el valor opuesto de X.
Propiedad de los neutros. Existen tales que:

Se cumple la propiedad: tal que:

0 1 1
1 0 1

0 1 0
1 0 0

Existencia de Complementos. Para cada x en B existe un elemento nico

denotado x (tambin denotado x), llamado complemento de x tal que

x+ x = 1 (b) x x = O

LGEBRA DE CONJUNTOS
1.- Para este ejemplo el conjunto B es el conjunto de todos los conjuntos a tratar. La suma es la
unin de conjuntos (U) y la multiplicacin es la interseccin () de conjuntos.

2.- Existencia de neutros. El neutro de la unin es el conjunto vaco F , mientras que el neutro de la
interseccin es el conjunto universo U, ya que para cualquier conjunto arbitrario :
A, A U F = A y A U= A.

3.- Conmutatividad. La unin y la interseccin son conmutativas, ya que para cualquier par de
conjuntos :
A, B: A U B = B U A y A B = B A

4.- Asociatividad. La unin y la interseccin de conjuntos son asociativas, ya que para cualesquiera
tres conjuntos:
A, B, C: A U (B U C) = (A U B) U C y A (B C) = (A B) C

5.- Distributividad. La unin de conjuntos es distributiva sobre la interseccin, y viceversa, la

interseccin es distributiva sobre la unin, ya que para cualesquiera tres conjuntos:
A, B, C: A U (B C) = (A U B) (A U C) y A (B U C) = (A B) U (A C)

6.- Existencia de complementos. El conjunto complemento Ac cumple con las propiedades

deseadas:
A U Ac = U y A Ac = F
Leyes fundamentales
El resultado de aplicar cualquiera de las tres operaciones definidas a variables del sistema
booleano resulta en otra variable del sistema, y este resultado es nico.

1. Ley de idempotencia:

2. Ley de complemento:

3. Ley conmutativa:

4. Ley asociativa:

5. Ley distributiva:

Distributiva por la izquierda:

Distributiva por la derecha:

6. Ley de cancelacin:

7. Ley de identidad:
8 Ley de dominacin:

9. Leyes de De Morgan:

Otras formas de notacin del lgebra de Boole

En matemtica se emplea la notacin empleada hasta ahora ({0,1}, + , ) siendo la forma
ms usual y la ms cmoda de representar.

Por ejemplo las leyes de De Morgan se representan as:

Cuando el lgebra de Boole se emplea en electrnica, suele emplearse la misma

denominacin que para las puerta lgica AND (Y), OR (O) y NOT (NO), amplindose en
ocasiones con X-OR (O exclusiva) y su negadas NAND (NO Y), NOR (NO O) y X-NOR
(equivalencia). las variables pueden representarse con letras maysculas o minsculas, y
pueden tomar los valores {0, 1}

Empleando esta notacin las leyes de De Morgan se representan:

En su aplicacin a la lgica se emplea la notacin y las variables pueden tomar los

valores {F, V}, falso o verdadero, equivalentes a {0, 1}

Con la notacin lgica las leyes de De Morgan seran as:

En el formato de Teora de conjuntos el lgebra de Boole toma el aspecto:

En esta notacin las leyes de De Morgan seran as:

Otra forma en la teora de conjuntos del lgebra de Boole, las leyes de De Morgan serian
as:

Desde el punto de vista practico existe una forma simplificada de representar expresiones
booleanas. Se emplean apstrofos (') para indicar la negacin, la operacin suma (+) se
representa de la forma normal en lgebra, y para el producto no se emplea ningn signo, las
variables se representan, normalmente con una letra mayscula, la sucesin de dos
variables indica el producto entre ellas, no una variable nombrada con dos letras.

La representacin de las leyes de De Morgan con este sistema quedara as, con letra
minsculas para las variables:

y as, empleando letras maysculas para representar las variables:

Todas estas formas de representacin son correctas, se utilizan de hecho, y pueden verse al
consultar bibliografa. La utilizacin de una u otra notacin no modifica el lgebra de
Boole, solo su aspecto, y depende de la rama de las matemticas o la tecnologa en la que se
est utilizando para emplear una u otra notacin.

Ejemplo. Simplificar las siguientes expresiones

1.- A(BC + AC) + BC Distribuyendo el factor A en el parntesis:

= ABC + AAC + BC, conmutando y aplicando idempotencia:
= ABC + BC + AC, usando absorcin:
= BC +AC
2.- XYZ+XZ Usando el Teorema de De Morgan:
= XYZ.XZ , por De Morgan nuevamente e involucin:
= (XY+ Z )( X+ Z ), distribuyendo:
=XY X +XY Z + X Z + Z Z , como X X es cero, y por idempotencia:
= 0+ XY Z + X Z + Z , por absorcin:
=Z
3.- (X+Y+YZW)XY Por el teorema de De Morgan:
= ((X+Y) YZW) XY , nuevamente:
= (X+Y)(Y+Z+W)(X+Y) , distribuyendo el primero con el tercer factor:
= (XY+XY)(Y+Z+W) , distribuyendo nuevamente
= (XY+XYZ+XYW+XYZ+XYW , por absorcin:
= (XY+XYZ+XYW)
Ejemplo:

Factor Comn

Ejercicios:

Puertas Lgicas
PUERTA NOT O INVERSORA

Se trata de una operacin que solo maneja una variable de entrada y otra de
salida. La salida toma el estado
opuesto o inverso del que tiene la
VALOR EN LA VALOR EN LA
entrada.
ENTRADA SALIDA
0 1 Tabla De La Verdad De La Puerta Inversora
1 0 NOT

PUERTA OR O SUMADORA

Cuando distintas variables lgicas se combinan mediante la

funcin OR, el resultado toma el estado alto, verdadero o 1 si
alguna de ellas tiene dicho estado. La ecuacin que
representa la funcin OR de dos variables de entrada es la
siguiente: X=A+B

Tabla De La Verdad De La Puerta Sumadora OR

VALOR
OBTENIDO EN
VALOR EN VALOR EN
LA
LA PARTE A LA PARTE B
SALIDA
0 0 0
0 1 1
1 0 1
1 1 1
PUERTA NOR O SUMADORA INVERSORA

Esta puerta produce la funcin inversa de la puerta OR, es decir, la negacin de la suma
lgica de las variables de entrada. Su comportamiento es equivalente a la de la puerta OR
seguida de una NOT.

Tabla De La Verdad De La Puerta Sumadora Inversora NOR

VALOR
OBTENIDO EN
VALOR EN VALOR EN LA
LA
LA PARTE A PARTE B
SALIDA
0 0 1
0 1 0
1 0 0
1 1 0

PUERTA AND O MULTIPLICADORA

Cuando varias variables lgicas, de tipo binario, se combinan mediante la operacin lgica
AND, producen una variable de salida, que solo toma el nivel lgico 1, estado alto o
verdadero, si todas ellas tienen dicho nivel o estado. La ecuacin lgica de la funcin AND
para dos variables de entrada es la siguiente:

Tabla De La Verdad De La Puerta Multiplicadora AND

VALOR
OBTENIDO EN
VALOR EN VALOR EN LA
LA
LA PARTE A PARTE B
SALIDA
0 0 0
0 1 0
1 0 0
1 1 1
PUERTA NAND O MULTIPLICADORA INVERSORA

La puerta NAND produce la funcin inversa de la AND, o sea, la negacin del producto
lgico de las variables de entrada. Acta como una puerta AND seguida de una NOT.

Tabla De La Verdad De La Puerta Multiplicadora Inversora NAND

VALOR
VALOR EN OBTENIDO
VALOR EN LA PARTE EN LA
LA PARTE B
A SALIDA
0 0 0
0 1 0
1 0 0
1 1 1

PUERTA OR EXCLUSIVA (OREX)

La salida de esta compuerta es 1, estado alto o verdadero si cada entrada es 1 pero excluye
la combinacin cuando las dos entradas son 1. La funcin OR exclusiva tiene su propio
smbolo grfico o puede expresarse en trminos de operaciones complementarias AND,
OR.
Tabla De La Verdad De La Puerta OR Exclusiva (OREX)

VALOR
OBTENIDO EN
VALOR EN LA VALOR EN LA
LA
PARTE A PARTE B
SALIDA
0 0 0
0 1 1
1 0 1
1 1 0

PUERTA NOR EXCLUSIVA (NOREX)

Tabla De La Verdad De La Puerta NOR Exclusiva (NOREX)

VALOR
OBTENIDO EN
VALOR EN LA VALOR EN LA
LA
PARTE A PARTE B
SALIDA
0 0 1
0 1 0
1 0 0
1 1 1
Ejercicios:

Implementar solo con NAND las puertas: NOT, OR, NOR y AND.

NOT OR

NOR AND

Implementar solo con NOR las puertas: NOT, OR, NAND y AND

NOT OR
NAND AND

Implementar solo con NAND la puerta OREX.

Implementar solo con NOR la puerta OREX

Implementar solo con NAND la puerta NOREX

Implementar solo con NOR la puerta NOREX

 Implementar Y+W con NAND Implementar Y+W con NOR

Implementar
con AND

Implementar
con NOR

Ejercicios
Implementar solo con NOR Implementar solo con NAND

Implementar con las menos puertas posibles

Ejercicios 2

Implementar con NOR Implementar con NAND

Implementar con las menos puertas posibles