LGEBRA DE BOOLE

El lgebra booleana es la teora matemtica que se aplica en la lgica combinatoria. Las

variables booleanas son smbolos utilizados para representar magnitudes lgicas y pueden tener
slo dos valores posibles: 1 (valor alto) 0 (valor bajo).
Operaciones Booleanas y Compuertas Bsicas
Las operaciones boolenas son posibles a travs de los operadores binarios negacin, suma y
multiplicacin, es decir que estos combinan dos o ms variables para conformar funciones
lgicas. Una compuerta es un circuito til para realizar las operaciones anteriormente
mencionadas.
Inversin o negacin (complemento)
Esta operacin se indica con una barra sobre la variable o por medio de un apstrofe en el lado
superior derecho de la variable, en este curso emplearemos esta ltima notacin. El apstrofe ()
es un operador algebraico que invierte el valor de una variable, es decir, si X denota la seal de
entrada de un inversor, entonces X representa el complemento de tal seal.
Ejemplo
S X = 0 entonces X = 1.
En la tabla de verdad 2.1.1. se muestra el resultado de la inversin lgica.

Ecuacin

Entrada A

Salida B

B=A

Tabla 2.1.1. Tabla de verdad del inversor

El smbolo lgico de la negacin booleana se representa en la figura 2.1.1.

Figura 2.1.1. Inversor.

Suma booleana
La representacin matemtica de una suma booleana de dos variables se hace por medio un
signo ms entre las dos variables.

Ejemplo
La suma booleana de las variables A y B se enuncia de la siguiente forma,
X=A+B
La suma booleana es 1 si alguna de las variables lgicas de la suma es 1 y es 0 cuando todas las
variables son 0. Esta operacin se asimila a la conexin paralela de contactos.
La tabla de verdad de la suma se muestra en la tabla 2.1.2.

Entrada A

Entrada B

Salida X

Tabla 2.1.2.Tabla de Verdad de la funcin OR

En circuitos digitales, el equivalente de la suma booleana es la operacin OR y su smbolo lgico

se representa en la figura 2.1.2.

Figura 2.1.2. Smbolo lgico para la compuerta OR.

Con la correspondiente ecuacin X= A + B.

El inverso de la funcin OR es la funcin NOR. La tabla de verdad se muestra en la tabla 2.1.3.

Entrada A

Entrada B

Salida X

Tabla 2.1.3.Tabla de verdad de la funcin NOR

El smbolo lgico de la compuerta NOR se representa en la figura 2.1.3.

Figura 2.1.3. Smbolo lgico para la compuerta NOR

Con la correspondiente ecuacin X= (A+B)

La suma booleana difiere de la suma binaria cuando se suman dos unos. En la suma booleana no
existe acarreo.
Multiplicacin booleana
La representacin matemtica de una multiplicacin booleana de dos variables se hace por
medio un signo punto () entre las dos variables.
La multiplicacin booleana de las variables A y B se enuncia de la siguiente forma,
X=AB
La multiplicacin booleana es 1 si todas las variables lgicas son 1, pero si alguna es 0, el
resultado es 0. La multiplicacin booleana se asimila a la conexin serie de contactos.
La tabla de verdad de la multiplicacin booleana se muestra en la tabla 2.1.4.

Entrada A

Entrada B

Salida X

Tabla 2.1.4. Tabla de verdad de la funcin AND

En circuitos digitales, el equivalente de la multiplicacin booleana es la operacin AND y su

smbolo se representa en la figura 2.1.4.

Figura 2.1.4. Smbolo lgico de la funcin AND

con la correspondiente ecuacin X= AB

El inverso de la funcin AND es la funcin NAND. La tabla de verdad se muestra la tabla 2.1.5.

Entrada A

Entrada B

Salida X

Tabla 2.1.5.Tabla de verdad de la funcin NAND

El smbolo lgico de la compuerta NAND se representa en la figura 2.1.5.

Tabla 2.1.5. Smbolo lgico de la funcin NAND

Con la correspondiente ecuacin X = (AB)

La interactividad 2.1.1 muestra las compuertas ms importantes.

Interactividad 2.1.1. Compuertas Bsicas

Propiedades de las Operaciones Booleanas

Las operaciones booleanas estn regidas por tres leyes similares a las del lgebra convencional.
Estas incluyen las leyes conmutativas de la suma y la multiplicacin y la ley distributiva.
Leyes conmutativas en dos variables
1.

Ley conmutativa de la suma se enuncia como sigue

X+Y=Y+X
En aplicacin a los circuitos digitales, podramos decir que no importa el orden de
conexin de las entradas a una compuerta OR.

2.

Ley conmutativa de la multiplicacin

XY = Y X

En aplicacin a los circuitos digitales, podramos decir que no importa el orden de conexin de
las entradas a una compuerta AND.
Leyes asociativas en tres variables
1.

Ley asociativa de la adicin, se escribe en forma algebraica de la siguiente forma

A+(B+C)=(A+B)+C
En la figura 2.1.6 se muestra la aplicacin de la propiedad a las compuertas OR,

Figura 2.1.6. Ley asociativa de la adicin

2.

Ley asociativa de la multiplicacin

A( B C) = ( AB ) C
En la figura 2.1.7
compuertas AND,

se

muestra

la

aplicacin

de

la

propiedad

las

Figura 2.1.7. Ley asociativa de la multiplicacin

Ley distributiva para tres variables

En el lgebra de Boole, la multiplicacin lgica se distribuye sobre la suma lgica,
A( B + C ) = AB + AC
En la figura 2.1.8 se muestra la aplicacin de la propiedad a las compuertas AND y OR,

Teoremas Booleanos
Los teoremas booleanos son enunciados siempre verdaderos, lo que permite la manipulacin de
expresiones algebraicas, facilitando el anlisis sntesis de los circuitos digitales. Los teoremas
booleanos son los siguientes:
1.

X+0=X

2.

X+1=1

3.

X0 = 0

4.

X1 = X

5.

(X)=X

6.

X+X=X

7.

XX = X

8.

X + X = 1

9.

X.X= 0

10. X + XY = X
11. X +XY = X + Y
12. XY + XY = X (Teorema de combinacin)
13. (X +Y)(X + Y) = X + XY + XY = X
14. XY + XZ + YZ = XZ + YZ (Consenso)
El teorema 12 se conoce como la ley distributiva para tres variables.
Demostracin teorema 12:
XY + XY = X
Utilizando la ley distributiva para tres variables
XY + XY= X(Y+Y)
Aplicando el teorema 8 se tiene,
XY + XY= X1
Dando como resultado,
XY + XY= X
Esta expresin indica que la suma de dos productos cannicos adyacentes, es decir que difieren
en una sola de las variables, se reduce al producto de los dems trminos suprimindose dicha
variable. El teorema 13 es otro caso del teorema de combinacin. Los teoremas 12 y 13 se
utilizarn en las lecciones siguientes de forma sistemtica para sintetizar circuitos lgicos con los
mtodos de mapas de karnaugh y el algortimo de Quine-McCluskey. (ver leccin 4).

Teoremas de DeMorgan
Los teoremas de DeMorgan demuestran la equivalencia entre las puertas NAND y negativa - OR,
y las puertas NOR y negativa AND.
1.

El complemento de la suma de variables es igual al producto de los complementos de las

variables.
(X1 + X2 +.....+ Xn) = X1 X2 ..... Xn
En el caso de dos variables se tiene,

(X + Y) = X Y
El circuito equivalente a la ecuacin anterior se muestra en la figura 2.1.9.

Figura 2.1.9. Smbolo lgico para la compuerta NOR.

Ejemplo
Obtener una compuerta OR utilizando compuertas NAND.
Y = (A + B) = [(A + B)] = (AB)

Figura 2.1.10. Compuerta OR utilizando compuertas NAND

1.

El complemento del producto de variables es igual a la suma de los complementos de las

variables.
(X1 X2 ..... Xn) = X1 + X2 + .....+ Xn
En el caso de dos variables se tiene,
(X Y) = X + Y
El circuito equivalente en dos variables a la ecuacin se muestra en la figura 2.1.11.

Figura 2.1.11. Smbolo lgico para la compuerta NOR.

Ejemplo
Obtener una compuerta AND utilizando compuertas NOR.
Y = AB = [(A.B)] = (A+B)

Figura 2.1.12. Circuito lgico para la compuerta AND

Simplificacin de Expresiones Lgicas

El objetivo de la simplificacin de expresiones lgicas es reducir la expresin al menor nmero
posible de trminos. Las expresiones lgicas se pueden simplificar utilizando los teoremas
anteriores.
Ejemplo
F = ABC + ABC
F = AB(C + C)
F = AB
Ejemplo
F= (A+B)(A+B)
F = AA + AB + AB + BB
F = AB + AB
Ejemplo
F = [(A + C)(B + D)]
F = (A + C)+(B + D)
F= AC + BD
Ejemplo
F = (X + Z)(Z + WY) + (VZ + WX)(Y + Z)
F = (X + Z)[Z(W + Y)] + [(VZ + WX)(YZ)]
F = (X + Z)(ZW + ZY) + VYZZ + WXYZ
F = WXZ + XYZ + ZZW + ZZY + WXYZ
F = WXZ + XYZ + WZ + YZ + WXYZ

F = WZ(1 + X) + YZ(1 + X) + WXYZ

F = WZ + YZ + WXYZ
F = WZ + YZ(1 + WX)
F = Z(W + Y)

Implementacin de Funciones Lgicas mediante Compuertas.

La forma ms fcil de encontrar la expresin de un circuito lgico consiste en comenzar con las
entradas situadas ms a la izquierda e ir avanzando hasta la salida de cada compuerta lgica,
obteniendo la expresin para cada una de ellas. Al final del recorrido se debe tener la expresin
para todo el circuito. La expresin resultante podemos simplificarla para obtener una ms
sencilla y as obtener un circuito ms reducido.
Ejemplo
Encontrar la expresin para el circuito de la figura.

Figura 2.1.13. Smbolo lgico para la compuerta NOR.

1.

La expresin de la compuerta NOR situada a la izquierda cuyas entradas

son A y B es (A+B). Esta es la primera entrada de la compuerta AND situada a la
derecha.

2.

La expresin de la compuerta AND cuyas entradas son (A+B) y C es (A+B)C.

3.

La salida de la compuerta AND es la primera entrada de la compuerta OR del extremo

derecho. Por lo tanto, la expresin de esta compuerta OR es [(A+B)C]+D.

NTESIS DE DISEO DE CIRCUITOS COMBINATORIOS

Sntesis se entiende como la obtencin de circuitos lgicos, a partir de una descripcin inicial que
utiliza el lenguaje convencional y luego es transferida a una tabla de verdad.
Una tabla de verdad es una representacin bsica de una funcin lgica, en la cual se listan las
salidas del circuito lgico para las posibles combinaciones de entrada. Las combinaciones de
entrada estn ordenadas por renglones (lneas) y cada rengln contiene su salida respectiva. Por
ejemplo, la tabla de verdad para una funcin lgica de 3 variables, tendr 8 lneas para 8
combinaciones de entrada, conteniendo cada lnea, su salida respectiva. En la tabla 2.2.1. se
ilustra una funcin de 3 variables para el caso mencionado.

Rengln o lnea
0
1
2
3
4
5
6
7

0
0
0
0
1
1
1
1

0
0
1
1
0
0
1
1

0
1
0
1
0
1
0
1

Funcin de salida
F(0,0,0)
F(0,0,1)
F(0,1,0)
F(0,1,1)
F(1,0,0)
F(1,0,1)
F(1,1,0)
F(1,1,1)

Mintrmino
A'B'C'
A'B'C
A'BC'
A'BC
AB'C'
AB'C
ABC'
ABC

Maxtrmino
A+B+C
A+B+C'
A+B'+C
A+B'+C'
A'+B+C
A'+B+C'
A'+B'+C
A'+B'+C'

Tabla 2.2.1.Funciones de salida, maxtrminos y mintrminos

En general, la tabla de verdad para una funcin lgica de n variables tendr 2 n lneas. En la
interactividad 2.2.1. se pueden introducir los datos de la funcin de salida y obtener el
correspondiente mintrmino y mxtrmino.

Interactividad 2.2.1. Funciones de salida, maxtrminos y mintrminos

Mtodos para Sintetizar Circuitos Lgicos

Los mtodos para sintetizar circuitos lgicos requieren en primer lugar, la comprensin de
algunos conceptos, entre ellos:

Literal: Variable o el complemento de una variable.

Ejemplo: X, Y, X, Y.

Dominio de una expresin booleana: Es el conjunto de variables contenido en una

expresin booleana.
Ejemplo: Determine el dominio de la expresin XYZ + XYZW.
El dominio es X, Y, Z, W.

Trmino normal: Un producto o trmino suma en donde ninguna variable aparece

repetida.
Ejemplo de trmino repetido: XYY, ZXXY

Ejemplo de trmino no repetido: XYZ, ZYX

Trmino producto: Un solo literal o el producto lgico (multiplicacin booleana) de dos o

ms literales.
Ejemplo: X, XY, ZY, XYZ
Un trmino producto es 1 slo para una combinacin de valores de las variables.
Ejemplo: El trmino producto XY'Z es 1 slo para X=1, Y=0 y Z=1 y es 0 para
el resto de combinaciones. El valor en binario ser 101 5 en decimal.

Trmino suma: Un solo literal o una suma lgica (suma booleana) de dos o ms literales.
Ejemplo: X, X + Y,X+Z, X+Y+Z, X+Y+Z
Un trmino suma es 1 cuando cualquier literal que lo compone es 1.
Ejemplo: El trmino X+Y+Z es 0 para X=0 Y=1 Z=1 y es 1 para el resto de
combinaciones. El valor en binario ser 011 3 en decimal.

Suma de productos: Suma lgica de trminos productos (Ver tabla 2.2.1).

Ejemplo: X+ XY + ZY + XYZ
Forma estndar de la suma de productos
Una suma de productos no se encuentra en su forma estndar cuando alguno de los
trminos producto no contiene alguna de las variables del dominio de la expresin.
Ejemplo
XYZ + XYZW. El dominio es X, Y, Z, W. El primer trmino producto no
contiene el literal W W'.
Ejemplo
X'YZ'.W + XYZW. En cada uno de los trminos de la expresin aparecen
todas las variables del dominio. Por lo tanto, la suma de productos est en su
forma estndar.

Producto de sumas: Producto lgico de trminos suma (Ver tabla 2.2.1).

Ejemplo: X(X+Y)(X+Z)(X+Y+Z)(X+Y+Z).
Forma estndar del producto de sumas
Un producto de sumas no se encuentra en su forma estndar cuando alguno de los
trminos suma no contiene alguna de las variables del dominio de la expresin.
Ejemplo

(X+W+Z')(X'+Y+Z+W')(X+Y). El dominio es X, Y, Z, W. El primer trmino

suma no contiene el literal Y Y'. El tercer trmino suma no contiene los
literales Z Z' y W W'.
Ejemplo
(X'YZ'.W)(XY'ZW). En cada uno de los trminos de la expresin aparecen
todas las variables del dominio. Por lo tanto, el producto de sumas est en su
forma estndar.

Mintrmino: Es un trmino de producto con n literales en el cual hay n variables. De n

variables obtenemos 2n mintrminos.
Ejemplo de mintrminos de 3 variables: XY.Z, X.Y.Z, X.Y.Z, X.Y.Z, X.Y.Z,
X.Y.Z, X.Y.Z, X.Y.Z. (Ver tabla 2.2.1.).

Maxtrmino: Es un trmino de suma con n literales en el cual hay n variables. De n

variables obtenemos 2n maxtrminos. (Ver tabla 2.2.1.).
Ejemplo de maxtrminos de 3 variables: X+Y+Z, X+Y+Z, X+Y+Z, X+Y+Z,
X+Y+Z, X+Y+Z, X+Y+Z, X+Y+Z. (Ver tabla 2.2.1.).
Los mtodos existentes para sintetizar circuitos lgicos son:

Suma de productos (SDP)- Leccin 3.

Producto de sumas (PDS) - Leccin 3.

Mapas de Karnaugh - Leccin 4.

Algoritmo de Quine McCluskey - Leccin 5.