Álgebra binaria.

02.1.- Operaciones y expresiones booleanas

02.2.- Leyes y reglas del álgebra de Boole
02.3.- Teoremas de DeMorgan
02.4.- Diagramas de circuitos lógicos
02.5.- Mapas de Karnaugh
02.6.- Ejercicios propuestos

02.1.-Operaciones y expresiones booleanas

02.1.1.- La información Booleana.Tabla de verdad

02.1.2.- Adición Booleana. Puertas OR
02.1.3.- Multiplicación Booleana. Puertas AND
02.1.4.- La suma binaria
02.1.5.- Inversión.

02.1.1.-La información Booleana.Tabla de verdad

Un sistema electrónico es un dispositivo con N entradas y M salidas.

La información que consideraremos en este tema es una variable binaria. "0"- "1"
"Verdadero"-"Falso", "Todo"-"Nada". Se dicen que son variables Booleanas.

Entrada: Variable independiente, que consideramos como variable inicial

Las entradas (i1,i2,···, iN) sólo pueden tomar los valores {0,1}

Salida: Variable dependiente de los valores que tomen una o varias entradas.

Las salidas (01,02,···, 0N) sólo pueden tomar los valores {0,1}

Denominamos vector de entrada a cada una de las posibles combinaciones de valores de

las entradas a nuestro sistema. El conjunto de los vectores de entrada está formado por 2N
elementos.

Denominamos vector de salida al conjunto de los 2N valores posibles de una  salida

correspondiente a cada una de las posibles combinaciones de valores de las entradas a
nuestro sistema.
Cada una de las salidas 0j dependen de todas las entradas, es decir

0j = F(i1,i2,···, iN) = F("vectores de entrada") = "vector de salida"

Tabla de verdad de una salida: Son los valores que toma la variable de salida 0j ("vector
de salida"), en función de los posibles valores que puedan tomar las entradas (i1,i2,···, iN)
("vectores de entrada"). Se representa una tabla de verdad en la figura nº 1

figura nº 1

Antes de analizar las operaciones booleanas, definiremos:

02.1.2.-Adición Booleana.

Consideramos un sistema con dos entradas  (i1,i2), que las llamaremos A y B , y una salida
(01), que llamaremos La suma de dos variables A,B booleanas, que la definimos como
A+B, es "1" siempre que uno de ellas sea "1".

La tabla de verdad es la dada en la figura nº 2

figura nº 2

02.1.3.-Multiplicación Booleana.

La multiplicación de dos variables A,B booleanas, y lo definimos como A·B,  es "1" sólo
cuando ambas variables son "1".

La tabla de verdad es la representada en la figura nº 3

 figura nº 3

02.1.4.- Suma binaria sin acarreo.

Ya estudiada en el tema anterior , la suma binaria es la suma aritmética módulo dos. Se

indica en la tabla siguiente.

02.1.5.- Inversión.

Un inversor es un sistema de una entrada y una salida. La salida es siempre el símbolo 

opuesto al de la entrada. Consiste en permutar los ceros por unos.

Representación gráfica de los sistemas booleanos

La puerta OR (Adición Booleana)

La puerta AND(Multiplicación Booleana)

La puerta  NOT (Inversión)

 La puerta  OR Exclusive X-OR (suma binaria sin acarreo)

02.2.-Leyes y reglas del álgebra de Boole

El conjunto binario, formado por los elementos  {0,1}, cumple con las operaciones suma y
producto booleano las siguientes propiedades:

1. Conmutativa.
 Si A y B son entradas, la salida expresada por A+B toma los mismos valores
que la expresada por B+A.
 Si A y B son entradas, la salida expresada como A·B toma los mismos
valores que la expresada por B·A.
2. Asociativa
 Si A, B y C  son entradas, la salida expresada por A+ (B+C) toma los
mismos valores que la expresada por (A +B) + C.
 Si A, B y C  son entradas, la salida expresada como A·(B·C) toma los
mismos valores que la expresada por (A·B)·C.
3. Elemento neutro
 Si A y 0 son entradas, la salida expresada por A+0 toma los mismos valores
que la expresada por A.
 Si A y 1 son entradas, la salida expresada como A·1 toma los mismos
valores que la expresada por A.

Otras propiedades de la suma y el producto booleano:

A+0=A A + A=A

A+1=1 A + negado(A) =1

       
A·0=0 A·A=A

A·1=A A·negado(A)=0
        

5. Propiedad distributiva del producto respecto a la suma

 Si A, B y C  son entradas, la salida expresada por A·(B+C) toma los mismos valores
que la expresada por A·B + A·C.

La demostración se puede ver en la tabla de verdad de la figura:

02.3.-Teoremas de DeMorgan

Nos las equivalencias entre  productos y  sumas. Son los siguientes:

1. Sean A y B variables booleanas. EL complementario del producto booleano de Ay

B es igual a la suma booleana de los complementarios de A y el complementario de
B.

2. Sean A y B variables booleanas.El complementario de la suma booleana de Ay B es

igual al producto de los complementarios de A y B.

En la tabla de la figura se demuestran estos teoremas.

Una aplicación directa de estos teoremas es la construcción de lógica booleana sólo con
puertas OR  e inversores, o sólo con puertas AND e inversores. estas equivalencias se
muestra en la figura.
 paso de OR a AND paso de AND a OR

1º DeMorgan 2º DeMorgan

equivalente equivalente

02.4.-Diagramas de circuitos lógicos

Un sistema viene determinado por las relaciones entre sus entradas y cada una de las
salidas. Esta relación se representa en la "Tabla de Verdad" del sistema. Veremos como se
dibuja el diagrama de un sistema a partir de su Tabla de Verdad.

Pongamos como ejemplo un sistema con dos entradas y una salida, con una Tabla de
Verdad como la indicada.

Síntesis a partir de la "SUMA DE PRODUCTOS". El método consiste en representar la

salida que nos interesa como la suma de los "1" de su vector de salida (puerta OR). Cada
"1" viene representado como el producto de las variables de entrada si estas tienen el valor
"1" o el complementario de las variables, si tienen el valor "0"

En nuestro ejemplo

Síntesis a partir de la "PRODUCTOS DE SUMAS". El método consiste en representar la

salida que nos interesa como el producto de los "0" de su vector de salida (puerta AND).
Cada "0" viene representado como la suma de los complementarios de las variables de
entrada si estas tienen el valor "1" o por las variables, si tienen el valor "0"

En nuestro ejemplo

Ambas representaciones son equivalentes. Son el equivalente a una puerta OR exclusive.

Se recomienda que se realicen los problemas propuestos.

02.5.-Mapas de Karnaugh

Es uno de los procedimientos más sencillos para la simplificación de circuitos

lógicos.Consiste en representar en una tabla el vector de la salida que se quiere simplificar.
Se dividen las entradas en dos bloques. Un bloque definirá las filas y el otro bloque las
columnas.

Optimización a partir de "SUMA DE PRODUCTOS"

Los pasos para simplificar una expresión lógica utilizando un diagrama de Karnaugh son
los siguientes:

Minterms

1. Construir la tabla de verdad

2. Quedarse con los unos de la salida
3. Dibujar un diagrama de filas y columnas tabla de Karnaugh.
o Distribuir las variables en las filas o en las columnas.
o Poner tantas filas como combinaciones(productos) de variables asignadas a
las filas y sus negadas puedan darse
o Poner tantas columnas como combinaciones de variables asignadas a las
columnas y sus negadas puedan darse
4. Poner un uno en las casillas en las que las que la salida es uno, y un cero en las que
la salida es cero.
5. Agrupar en el diagrama los conjuntos de dos, cuatro, ocho.. "1".
6. Eliminar la(s) variable(s) que aparezca(n) con su Complementario(s) en un lazo y
guardar la(s) restante(s)
7. Enlazar con operadores or, los grupos obtenidos para obtener la salida.
 Realicemos un ejemplo. Tengamos el sistema definido por la Tabla de Verdad dada en la
figura:

Formamos todas las combinaciones de 2 unos posibles, como se indica en la figura

Son dos combinaciones. En la primera se simplifica la C, puesto que está con su

negada y en la segunda se simplifica la B, por estar con su negada. Por lo tanto
nos queda:

S= AB + AC= A·(B+C)

Optimización a partir de  "PRODUCTOS DE SUMAS"

Los pasos para simplificar una expresión lógica utilizando un diagrama de Karnaugh son
los siguientes:

Maxterms

Simplificación del diseño lógico.

1. Construir la tabla de verdad

2. Dibujar un diagrama de filas y columnas.
o Cambiar las variables por sus negadas y distribuirlas en las filas o en las
columnas.
o Poner tantas filas como combinaciones (sumas) de variables asignadas a las
filas y sus negadas puedan darse
o Poner tantas columnas como combinaciones(sumas) de variables asignadas a
las columnas y sus negadas puedan darse
3. Poner un uno en las casillas en las que las que la salida es uno, y un cero en las que
la salida es cero.
4. Agrupar en el diagrama los conjuntos de dos, cuatro, ocho.. "0".
5. Eliminar la(s) variable(s) que aparezca(n) con su Complementario(s) en un lazo y
guardar la(s) restante(s)
6. Enlazar con operadores and, los grupos obtenidos para obtener la salida.
Realicemos el mismo ejemplo. Tengamos el sistema definido por la Tabla de Verdad dada
en la figura:

Formamos todas las combinaciones de ceros posibles, como se ha indicado

Son dos combinaciones. En la primera se simplifica la C y la B, puesto que están con sus
negadas y en la segunda se simplifica la A, por estar con su negada. Por lo tanto nos queda:

S= A·(B+C)