Una Pequeña Introducción Al Álgebra de Booolee.

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
0 1
B=A
1 0
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
0 0 0
0 1 1
1 0 1
1 1 1
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.
0 0 1
0 1 0
1 0 0
1 1 0
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.
0 0 0
0 1 0
1 0 0
1 1 1
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.
0 0 1
0 1 1
1 0 1
1 1 0
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.

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 se muestra la aplicacin de la propiedad a las

compuertas AND,
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,
Figura 2.1.8. Ley distributiva para tres variables
lgebra de Boole (Continuacin)
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.
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.
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 lotanto, la expresin de esta compuerta OR es [(A+B)C]+D.
SNTESIS 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 A B C Funcin de salida Mintrmino Maxtrmino
0 0 0 0 F(0,0,0) A'B'C' A+B+C

1 0 0 1 F(0,0,1) A'B'C A+B+C'
2 0 1 0 F(0,1,0) A'BC' A+B'+C
3 0 1 1 F(0,1,1) A'BC A+B'+C'
4 1 0 0 F(1,0,0) AB'C' A'+B+C
5 1 0 1 F(1,0,1) AB'C A'+B+C'
6 1 1 0 F(1,1,0) ABC' A'+B'+C
7 1 1 1 F(1,1,1) ABC 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.
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.
REPRESENTACIN POR SUMA DE PRODUCTOS Y PRODUCTO DE SUMAS
En la leccin anterior vimos las definiciones bsicas para comprender los mtodos de sntesis de
circuitos lgicos. En esta leccin se explicarn los dos primeros de estos mtodos para sintetizar
circuitos lgicos.
Mtodo de Suma de Productos (SDP)
La suma de productos de una funcin lgica es la suma de los mintrminos correspondientes a

las lneas de la tabla de verdad para las que la funcin produce una salida igual a 1. La funcin
obtenida es la suma de productos.
Ejemplo
Obtener la suma de productos para la funcin lgica de la tabla 2.3.1.

Lnea A B C Funcin de salida F1
0 0 0 0 0
1 0 0 1 0
2 0 1 0 1
3 0 1 1 0
4 1 0 0 1
5 1 0 1 1
6 1 1 0 0
7 1 1 1 1
Tabla 2.3.1.Tabla de verdad para la funcin lgica F1
La funcin puede ser expresada conformando un trmino mnimo por cada combinacin de
variables que producen un 1 en la funcin para luego obtener la suma de todos los trminos. La
funcin lgica para la tabla 2.3.1 se determina expresando las combinaciones 010, 100, 101 y
111 como A'BC', AB'C', AB'C y ABC:
F1= A,B,C( 2,4,5,7)= A'BC' + AB'C' + AB'C + ABC.
Cada mintrmino de la funcin anterior representa una compuerta AND de tres entradas y la
implementacin de la funcinzes posible a travs de la aplicacin de la operacin OR a las salidas
de las cuatro compuertas AND. Por tanto, el nmero total de compuertas AND depender del
total de mintrminos de la expresin. El circuito se muestra en la figura 2.3.1.
Figura 2.3.1. Circuito lgico para la funcin lgica F 1.
En una suma de productos se cumple la igualdad de la funcin al valor lgico 1 si al menos uno
de sus trminos productos es igual a 1.
Ejemplo
Obtener la suma de productos para la funcin lgica de la tabla 2.3.2.
A B F2
0 0 0
0 1 1
1 0 1
1 1 0
Tabla 2.3.2.Tabla de verdad de la funcin F2.
En la tabla de verdad existen dos condiciones para las cuales la salida es 1. Estas son las
siguientes:
1. La primera se presenta cuando A es Bajo(0) y B es Alto(1). El resultado 1 de esta

condicin se puede expresar como el producto lgico:
AB
2. La segunda condicin se presenta cuando A es 1 y B es 0. Esta condicin ocasiona un
resultado 1, si el producto lgico es:
AB
Como cualquiera de estas 2 condiciones hace que la salida sea 1, entonces la funcin lgica que
los representa es la suma lgica de los productos anteriores:
F2= AB + AB = A B
La representacin de la funcin anterior con compuertas OR y AND se muestra en la figura 2.3.2.
Figura 2.3.2. Funcin F2 utilizando compuertas AND Y OR
Esta funcin corresponde a la funcin OR exclusiva, cuya compuerta se representa en la figura

2.3.3.
Figura 2.3.3. Smbolo lgico de la funcin OR - exclusiva.
Ejemplo
Obtener la funcin SDP para la funcin lgica de la tabla 2.3.3. Simplificar la funcin y dibujarla.
A B F3
0 0 1
0 1 0
1 0 0
1 1 1
Tabla 2.3.3.Tabla de verdad de la funcin F3
Utilizando suma de productos para las lneas 1 y 4 de la tabla se obtiene,
F3=A'B'+ AB, simplificando
F3=(A+B) + AB
F3= (A B)'
El circuito lgico de la funcin anterior se muestra en la figura 2.3.4.
Figura 2.3.4. Funcin F3 utilizando compuertas AND, NOR y OR.
El smbolo lgico de la compuerta NOR - Exclusiva se muestra en la figura 2.3.5.
Figura 2.3.5. Smbolo lgico de la funcin NOR - exclusiva
Conversin de una expresin lgica a formato de suma de productos
La metodologa empleada en la transformacin de una suma de productos a su forma estndar

se basa en el teorema 6 (Ver leccin 1 parte 2), que establece que una variable sumada con su
complemento es siempre igual a 1; A + A' = 1. Los pasos son los siguientes:
1. Los trminos producto que no contengan la(s) variable(s) del dominio, multiplicarlos por
un trmino formado por dicha variable ms el complemento de la misma (teorema 6).
2. Repetir el paso 1 para todos los trminos de la expresin que no contengan todas las
variables (o sus complementos) del dominio. Resolver los trminos intervenidos.
Ejemplo
Convertir la expresin booleana AB.C' + BC + A' a su forma estndar.
El dominio de la expresin es el conjunto de variables A, B y C. Se observa la falta de formato

estndar para el segundo y tercer trmino producto. Sobre ellos se aplicar el procedimiento,
para luego volver a agrupar toda la expresin:
Trmino BC
BC = BC (A+A') = ABC + A'BC
Trmino A
A' = A'(C+C') = A'C+A'C' ; la expresin an no tiene el formato estndar, entonces
multiplicamos cada trmino por (B+B')
A'C(B+B') +A'C'(B+B') = A'BC + A'B'C + A'BC' + A'B'C'
La expresin en su formato estndar es:
AB.C' + BC + A' = ABC + A'BC + A'BC + A'B'C + A'BC' + A'B'C'
Mtodo de producto de sumas (PDS)
El producto de sumas de una funcin lgica es la multiplicacin de los maxtrminos

correspondientes a las lneas de la tabla de verdad para las que la funcin produce una salida
igual a 0. La funcin obtenida es el producto de sumas.
Ejemplo
Obtener el producto de sumas para la funcin lgica de la tabla 2.3.4.
Rengln o lnea A B C Funcin de salida F4
0 0 0 0 0
1 0 0 1 0
2 0 1 0 1
3 0 1 1 0
4 1 0 0 0
5 1 0 1 1
6 1 1 0 1
7 1 1 1 1
Tabla 2.3.4.Tabla de verdad para la funcin lgica F4
La funcin puede ser expresada conformando un trmino mximo para cada combinacin de
variables que producen un 0 en la funcin y luego obtener el producto de todos los trminos. La
funcin lgica para la tabla 2.3.4 se determina expresando las combinaciones 000, 001, 011 y
110 como (A+B+C),(A+B+C'),(A+B'+C') y (A'+B+C). La funcin lgica es la siguiente:
F4= A,B,C( 0,1,3,4)= (A+B+C)(A+B+C')(A+B'+C')(A'+B+C).
Cada maxtrmino de la funcin anterior representa una compuerta OR de tres entradas y la

implementacin de la funcin es posible a travs de la aplicacin de la operacin AND a las
salidas de las cuatro compuertas AND. Por tanto, el nmero total de compuertas AND depender
del total de mintrminos de la expresin. El circuito se muestra en la figura 2.3.6.
Figura 2.3.6. Circuito lgico para la funcin lgica F4
Un producto de sumas es igual a 0 si al menos uno de los trminos suma es igual a 0.
Ejemplo
Obtener el producto de sumas para la funcin lgica de la tabla 2.3.5.
A B F5
0 0 0
0 1 1
1 0 1
1 1 0
Tabla 2.3.5.Tabla de verdad de la funcin OR - exclusiva
Considere el complemento de la funcin de Boole F5. Este puede obtenerse de la tabla 2.3.5.
formando un trmino mnimo por cada combinacin que produce un cero y luego haciendo la
suma de los trminos. El complemento de F5 se expresa as:
F5' = A'B' + AB
La expresin F5 se obtiene la negar F5':
F5 = (F5')' = (A'B' + AB)' =(A'B')'(AB)' = [(A')'+(B')'](A'+B') = (A+B)(A'+B')

Si cualquiera de los trminos del PDS es cero, la funcin es cero.
De los 2 mtodos anteriores, se pueden escoger algunos criterios para aplicar un mtodo u otro,
siendo estos los siguientes:
Si en la ltima columna de la tabla de verdad, o sea en la columna que indica los

resultados, s predominan los ceros es ms conveniente utilizar las suma de productos.
Si en la columna que indica los resultados, predominan los unos, es ms conveniente

utilizar el mtodo del producto de sumas.
MAPAS DE KARNAUGH
Un mapa de Karnaugh es una representacin grfica de una funcin lgica a partir de una tabla
de verdad. El nmero de celdas del mapa es igual al nmero de combinaciones que se pueden
obtener con las variables de entrada. Los mapas se pueden utilizar para 2, 3, 4 y 5 variables.
Mapa de Karnaugh empleando Suma de Productos (SDP)
La simplificacin de expresiones lgicas mediante el mapa de Karnaugh utiliza un mtodo grfico

basado en la Suma de Productos.
Mapa de Karnaugh de tres variables
El mapa de Karnaugh se construye a partir de la tabla de verdad de la funcin lgica. El mapa

por medio de una matriz de 8 celdas, representa los ocho mintrminos posibles que se pueden
obtener con tres variables, en un arreglo de una matriz de 2x4. Por tanto, la primera fila
contiene el primer valor posible ("0") y la segunda fila el valor ("1").
Las variables 2 y 3 se agrupan por columna y se distribuyen en las cuatro columnas de acuerdo
a las combinaciones posibles para obtener los mintrminos requeridos. Sus valores
son 00, 01, 10 y11. Por ejemplo, la celda m2 corresponde al mintrmino 2, ubicado en la fila 0 y
la columna 10. La unin de estos dos nmeros da el nmero 010, cuyo equivalente es el
trmino ABC el decimal 2. La tabla 2.4.1. muestra el mapa de Karnaugh para 3 variables.
Lnea A B C Mintrmino Mintrmino mx Funcin de Salida
0 0 0 0 ABC m0 F(0,0,0)
1 0 0 1 ABC m1 F(0,0,1)
2 0 1 0 ABC m2 F(0,1,0)
3 0 1 1 ABC m3 F(0,1,1)
4 1 0 0 ABC m4 F(1,0,0)
5 1 0 1 ABC m5 F(1,0,1)
6 1 1 0 ABC m6 F(1,1,0)
7 1 1 1 ABC m7 F(1,1,1)
(a)
(b) (c)
Tabla 2.4.1. Mapa de tres variables
La caracterstica de ordenamiento de un mapa de Karnaugh radica en el cambio de un solo bit en

los trminos de las celdas adyacentes de filas y columnas. En la tabla 2.4.1. las entradas BC se
colocan secuencialmente, cambiando cada vez una sola variable, por eso resulta el
orden: 00, 01, 11 y 10. En la interactividad 2.4.1., la pulsacin de cada cuadro activa el
mintrmino correspondiente.
Por ejemplo, la variable C est negada en m4 y m5 no lo est, mientras que A y B no cambia. Las
celdas de los bordes superior e inferior e izquierdo y derecho tambin cumplen esta condicin al
agruparlas unas a otras. En el teorema 12 de la leccin 1, se demuestra que la suma de los
trminos mnimos en celdas adyacentes pueden ser simplificadas en un trmino AND de dos
literales. Por consiguiente, aplicando el teorema para los trminos m4 y m5 del mapa se tiene:
m4 + m5 = ABC + ABC = AB(C+C) = AB
Los trminos m4 y m6 se pueden asociar de la misma forma:
m4 + m6 = ABC + ABC = AC(B+B) = AC
Ejemplo
Simplificar la funcin F1= (m3, m4, m5, m6, m7).
F1 = (m3, m4, m5, m6, m7) = ABC + ABC+ ABC + ABC+ ABC
Aplicando el teorema 6 de la leccin 1 para el trmino ABC.
F1 = (m3, m4, m5, m6, m7) = (m4, m5, m6, m7) +(m3, m7) = [ABC+ ABC + ABC+
ABC] + [ABC + ABC].
El primer trmino en la sumatoria es el grupo 1 y el segundo trmino corrresponde al grupo 2.

En un mapa de karnaugh, los mintrminos de cada grupo se relacionaran a travs de lazos
independientes.
Desarrollando la expresin,
F1 = [AB(C+C) + AB(C+ C)] + [BC(A+A)]= AB(1) + AB(1) + BC(1) = A(B+B) +

BC = A + BC.
El mapa se construye colocando un 1 en las celdas correspondientes a los mintrminos

presentes en la funcin de salida. Por ejemplo, para el trmino F(1,1,0)= ABC = 1 se situara
un 1 en la celda 110. Para los mintrminos no presentes en la funcin se pone un 0. Por ejemplo
el trmino F(0,0,1)= AB'C = 0, ser una celda con valor 0 en la celda 001.
Despus de situar los unos en el mapa, se procede con la agrupacin de 1s, la determinacin del
trmino producto correspondiente a cada grupo y la suma de los trminos producto obtenidos.
La determinacin del trmino producto se realiza de acuerdo los siguientes criterios:
1.Una celda representa un mintrmino, dando como resultado un trmino de cuatro literales.
2. Dos celdas agrupadas pueden representar la asociacin de dos mintrminos, dando como
resultado un trmino de dos literales.
3.Cuatro celdas agrupadas pueden representar la asociacin de cuatro mintrminos, dando como
resultado un trmino de un literal.
4. Ocho celdas agrupadas representan un valor de funcin igual a 1.
Ejemplo
Sea la funcin del ejemplo anterior, simplificarla por medio del mtodo del mapa.
La tabla de verdad del ejemplo anterior es la siguiente,
Lnea A B C Salida F
0 0 0 0 0
1 0 0 1 0
2 0 1 0 0
3 0 1 1 1
4 1 0 0 1
5 1 0 1 1
6 1 1 0 1
7 1 1 1 1
Tabla 2.4.2. Tabla de verdad de la funcin F1.
El mapa de Karnaugh se configura de acuerdo a los mintrminos iguales a 1 y las celdas se

agrupan tal como en la figura 2.4.1.
Figura 2.4.1. Mapa de Karnaugh de la funcin F1.
El primer grupo se forma con los mintrminos m4, m5, m6 y m7 y el segundo grupo con los
mintrminos m3 y m7.
Del primer grupo resulta el trmino A ya que para las cuatro columnas de la tabla existen
transiciones entre las variables B y C. El segundo grupo da como resultado el trmino BC por el
cambio existente en la variable A.
En total, la funcin queda reducida a la expresin:
F1 = A + BC
Mapa de Karnaugh de cuatro variables
La construccin de un mapa de Karnaugh de 4 variables es similar al de 3 variables. La

diferencia radica en el nmero de variables de entrada. El mapa por medio de una matriz de 16
celdas, representa los 16 mintrminos posibles (24) que se pueden obtener con cuatro variables
de entrada, en un arreglo de 4 x 4. La disposicin de celdas en el mapa se muestra en la tabla
2.4.3.
Lnea A B C D Mintrmino Mintrmino mx Funcin de Salida
0 0 0 0 0 ABCD m0 F(0,0,0,0)
1 0 0 0 1 ABCD m1 F(0,0,0,1)
2 0 0 1 0 ABCD m2 F(0,0,1,0)
3 0 0 1 1 ABCD m3 F(0,0,1,1)
4 0 1 0 0 ABCD m4 F(0,1,0,0)
5 0 1 0 1 ABCD m5 F(0,1,0,1)
6 0 1 1 0 ABCD m6 F(0,1,1,0)
7 0 1 1 1 ABCD m7 F(0,1,1,1)
8 1 0 0 0 ABCD m8 F(1,0,0,0)
9 1 0 0 1 ABCD m9 F(1,0,0,1)
10 1 0 1 0 ABCD m10 F(1,0,1,0)
11 1 0 1 1 ABCD m11 F(1,0,1,1)
12 1 1 0 0 ABCD m12 F(1,1,0,0)
13 1 1 0 1 ABCD m13 F(1,1,0,1)
14 1 1 1 0 ABCD m14 F(1,1,1,0)
15 1 1 1 1 ABCD m15 F(1,1,1,1)
(a)
(b) (c)
Tabla 2.4.3. Mapa de cuatro variables
Por ejemplo, la celda m9 corresponde al mintrmino 9, ubicado en la fila 10 y la columna 01. La

unin de estos dos nmeros da el nmero 1001, cuyo equivalente es el trmino ABCD - el
decimal 9.
La minimizacin por medio de un mapa de 4 variables se puede efectuar con las celdas
adyacentes entre s y las celdas de los bordes que se pueden concatenar para reducir la
expresin. Por ejemplo, m13 y m15 son celdas adyacentes as como m0, m8, m2 y m10.
El mapa se construye colocando un 1 en las celdas correspondientes a los mintrminos

presentes en la funcin de salida. Por ejemplo, para el trmino F(1,1,0,0)= ABCD = 1 se
situara un 1 en la celda 1100. Para los mintrminos no presentes en la funcin se pone un 0.
Por ejemplo el trmino F(1,1,1,1)= ABCD = 0, ser una celda con valor 0 en la celda 1111.
Igual que en el mapa de 3 variables, se procede con la agrupacin de 1s, la determinacin del
trmino producto correspondiente a cada grupo y la suma de los trminos producto obtenidos.
Las reglas para reducir trminos en un mapa de Karnaugh de 4 variables son las siguientes:
1.Una celda representa un mintrmino, dando como resultado un trmino de cuatro literales.
2. Dos celdas agrupadas pueden representar la asociacin de dos mintrminos, dando como
resultado un trmino de tres literales.
3.Cuatro celdas agrupadas pueden representar la asociacin de cuatro mintrminos, dando como
resultado un trmino de dos literales.
4.Ocho celdas agrupadas pueden representar la asociacin de ocho mintrminos, dando como
resultado un trmino de un literal.
5. Diecisis celdas agrupadas pueden representan un valor de funcin igual a 1.
Ejemplo
Simplquese la funcin de Boole F2= (m1, m3, m8, m10, m12, m14)
Figura 2.4.2. Mapa de Karnaugh de la funcin F2.
El primer grupo se forma con los mintrminos m1 y m3 y el segundo grupo se forma con los
mintrminos m8, m10 y m12, m14.
Del primer grupo resulta el trmino ABD ya que en la columna 1 no se presentan cambios
para las variables A y B y se presenta transicin en la variable C en las columnas 2 y 3. El
segundo grupo da como resultado el trmino AD. La razn radica en la simplificacin de la
variable B en la tercera y cuarta fila y en la variable C en la primera y cuarta columna.
Sumando los mintrminos obtenidos se tiene la ecuacin simplificada:
F2 = ABD + AD
Mapas de Karnaugh empleando Producto de Sumas (PDS)
La simplificacin de expresiones lgicas mediante el mapa de Karnaugh tambin es posible

mediante el mtodo de producto de sumas. En este mtodo, cada celda representa un
maxtrmino.
La construccin del mapa es similar a la suma de productos. La diferencia radica en que cada
celda representa un maxtrmino. Por ejemplo, la celda m2 corresponde al maxtrmino 2, ubicado
en la fila 0 y la columna 10. La unin de estos dos nmeros da el nmero 010, cuyo equivalente
es el trmino A+B+C. La figura 2.4.3. muestra el mapa de Karnaugh para 3 variables.
Figura 2.4.3. Mapa de tres variables.

La representacin de la funcin lgica se hace simplemente copiando los ceros de la tabla de
verdad en las celdas del mapa. Este mtodo es ms apropiado cuando en la columna de
resultados de la tabla de verdad predominan los ceros.
Ejemplo
Utilizar el mapa de Karnaugh para minimizar el producto de sumas,
F3 = (A+B+C)(A+B+C)(A+B+C)(A+B+C)
Los maxtrminos se trasladan a cada una de las celdas del mapa de Karnaugh y las celdas se
agrupan tal como en la figura 2.4.4.
Figura 2.4.4. Mapa de Karnaugh de la funcin F3
El trmino suma para cada grupo se muestra en la figura y la suma de productos resultante es:
F3 = C
Ejemplo
Utilizar el mapa de Karnaugh para minimizar el producto de sumas,
F4 =
(A+B+C+D)(A+B+C)(A+B+C+D)(A+B+C+D)(A+B+C+D)(A+B+C+D)(A+B+C+D)
(A+B'+C+D)
El segundo trmino tiene que ampliarse a (A+B+C+D)(A+B+C+D). La funcin completa se

pasa al mapa de karnaugh mostrado en la figura 2.4.5.

El trmino suma para cada grupo se muestra en la figura 2.4.5. y el producto de sumas
resultante es:
F4 = (A+C+D)(B'+D')(A'+D')
Condiciones de No Importa
Hasta el momento se ha asumido que la funcin es igual a 0 en los casos donde la funcin no es
igual a 1. En algunas aplicaciones esta suposicin no es siempre verdadera ya que existen
combinaciones de entrada que no presentan. En un mapa de Karnaugh estas combinaciones de
entrada sirven de herramienta para simplificar la funcin y su representacin se hace por medio
de una X en la celda del mapa. Segn la agrupacin que convenga se asume un valor
de 1 0 para la X con el fin de obtener la expresin ms simple.
Ejemplo
Simplificar la funcin de Boole F5 =(m0, m4, m7, m9) con condiciones de

importa, NI = (m1, m5, m11, m14).
Los mintrminos se marcan con un 1, las condiciones de no importa con una X y las celdas
restantes con 0.
El mapa de Karnaugh de la funcin F5 se muestra en la figura 2.4.6.
En suma de productos obtenemos,
F5 = ACD + A'BC + ABCD + AB'D
ALGORITMO DE QUINE MCCLUSKEY
El empleo del mapa de Karnaugh es conveniente cuando la funcin a minimizar no contiene ms

de cinco o seis variables. En estos casos, empleamos un procedimiento sistemtico, llamado el
algoritmo de QuineMcCluskey, el cual produce una expresin normalizada y simplificada. El
algoritmo debe obedecer a un conjunto de pasos que se vern a travs de un ejemplo.
Ejemplo
Simplificar la funcin de Boole usando el algoritmo de Quine-McCluskey.

F1 =
F1 = ABCD + ABCD+ ABCD + ABCD+ ABCD + ABCD + ABCD + ABCD+ ABCD.
1. Enumerar en una tabla todos los mintrminos en forma binaria, organizados segn el
nmero de unos que contenga. La aplicacin de este paso se muestra en la tabla 2.5.1.
Mintrminos A B C D Grupo
1 0 0 0 1
2 0 0 1 0 Grupo 1
8 1 0 0 0
3 0 0 1 1
6 0 1 1 0
Grupo 2
9 1 0 0 1
10 1 0 1 0
7 0 1 1 1 Grupo 3
15 1 1 1 1 Grupo 4
Tabla 2.5.1. Mintrminos agrupados segn la cantidad de unos
2. Entre los grupos adyacentes buscar los mintrminos que slo difieren en un bit en la
misma posicin, para hallar los primeros implicantes primos.
La metodologa consiste en comparar el primer mintrmino con el resto de los trminos

del segundo grupo. As, los trminos del segundo grupo se comparan con los
mintrminos del grupo siguiente. De la forma anterior, se procede con los dems
mintrminos de los dems grupos. Los mintrminos utilizados se les pone una marca
( ) con el fin de ir diferenciando los trminos utilizados y la variable apareada en el
proceso se reemplaza con un guin para denotar la eliminacin de la variable. Los
trminos no marcados en la tabla son los primeros implicantes primos (PI X). Los
mintrminos utilizados se les pone una marca ( ) con el fin de ir diferenciando los
trminos utilizados y la variable apareada en el proceso anterior se reemplaza con un
guin para denotar la eliminacin de la variable.
Mintrmino A B C D Mintrmino A B C D PIx Mintrmino A B C D PIx
1 0 0 0 1 13 0 0 - 1 PI2 26 - 3-7 0 - 1 - PI1
2 0 0 1 0 19 - 0 0 1 PI3 2-3 - 6-7 0 - 1 -
8 1 0 0 0 23 0 0 1 -
3 0 0 1 1 26 0 - 1 0
6 0 1 1 0 210 - 0 1 0 PI4
9 1 0 0 1 89 1 0 0 - PI5
10 1 0 1 0 8-10 1 0 - 0 PI6
7 0 1 1 1 37 0 - 1 1
15 1 1 1 1 67 0 1 1 -
7-15 - 1 1 1 PI7
Tabla 2.5.2. Implicantes primos de la funcin F1

3. Construir una tabla que enumere los implicantes primos y los mintrminos contenidos
por cada implicante primo. La letra X en la tabla 2.5.3 indica el mintrmino contenido en
cada implicado por fila. Por ejemplo, en la tabla se observa en el primer rengln los
mintrminos 2, 3, 6 y 7 para el primer implicante primo. El resto de la tabla se construye
de forma similar.
Implicante Primo 1 2 3 6 7 8 9 10 15
* PI1 X X X X
PI2 X X
PI3 X X
PI4 X X
PI5 X X
PI6 X X
* PI7 X X
Tabla 2.5.3. Seleccin de implicantes primos esenciales
En la tabla se seleccionan las columnas de los mintrminos que contengan solamente

una cruz. En este ejemplo, hay dos mintrminos cuyas columnas tienen una sola cruz: 6
y 15. Es decir, la seleccin del primer implicado PI1 (AC) garantiza que el trmino
mnimo 6 est incluido en la funcin. De la misma forma, el trmino mnimo 7 est
cubierto por el primer implicadoPI7 (A'BCD). Los primeros implicados que cubren los
mintrminos con una sola cruz, se llaman primeros implicados esenciales (en la tabla se
encuentran marcados con un asterisco) y son indispensables en la construccin de la
funcin.
4. Seleccionar en cada columna los mintrminos que estn cubiertos por los primeros
implicados esenciales. Por ejemplo, el primer implicado esencial * PI1 (AC) cubre los
mintrminos 2, 3, 6 y 7. De la misma forma, el primer implicado esencial *PI7 (A'BCD)
cubre los mintrminos 7 y 15. Hasta el momento la seleccin de primeros implicados
cubre los mintrminos 2, 3, 6, 7 y 15 excepto 1, 8, 9 y 10. Estos trminos mnimos
deben ser seleccionados por medio de otros primeros implicados esenciales. En la tabla
2.5., la seleccin de los primeros implicados PI3 y PI6garantiza el cubrimiento de los
trminos mnimos 1, 8, 9 y 10. En la tabla 2.5.4. se muestra el proceso de seleccin.
Implicante Primo 1 8 9 10
PI2 X
*PI3 X X
PI4 X
PI5 X X
*PI6 X X
Tabla 2.5.4. Seleccin de primeros implicados esenciales
La funcin simplificada se obtiene de la suma de los primeros implicados hallados:
F= PI1 + PI3 +PI6 + PI7
F= (0-1-) + (-001) + (10-0) + (-111)
F = A'C + BCD + ABD + BCD
ALGORITMO DE QUINE MCCLUSKEY
El empleo del mapa de Karnaugh es conveniente cuando la funcin a minimizar no contiene ms

de cinco o seis variables. En estos casos, empleamos un procedimiento sistemtico, llamado el
algoritmo de QuineMcCluskey, el cual produce una expresin normalizada y simplificada. El
algoritmo debe obedecer a un conjunto de pasos que se vern a travs de un ejemplo.
Ejemplo
Simplificar la funcin de Boole usando el algoritmo de Quine-McCluskey.
F1 =
F1 = ABCD + ABCD+ ABCD + ABCD+ ABCD + ABCD + ABCD + ABCD+ ABCD.
1. Enumerar en una tabla todos los mintrminos en forma binaria, organizados segn el
nmero de unos que contenga. La aplicacin de este paso se muestra en la tabla 2.5.1.
Mintrmino
A B C D Grupo
s
1 0 0 0 1
w2 0 0 1 0 Grupo 1
w8 1 0 0 0
w
valign="MI valign="MIDDL
w3 0 0 DDLE"> 1 E"
rowspan=4> Gru
1
po 2
w6 0 1 1 0
w9 1 0 0 1
w 10 1 0 1 0
w w
valign="MI valign="MI valign="MI valign="MI
DDLE"> 0 DDLE"> 1 DDLE"> 1 DDLE"> 1
DDLE"> 7 E"> Grupo 3
w w
valign="MI valign="MI valign="MI valign="MI
DDLE"> 1 DDLE"> 1 DDLE"> 1 DDLE"> 1
DDLE"> 15 E"> Grupo 4
Tabla 2.5.1. Mintrminos agrupados segn la cantidad de unos
2. Entre los grupos adyacentes buscar los mintrminos que slo difieren en un bit en la
misma posicin, para hallar los primeros implicantes primos.
La metodologa consiste en comparar el primer mintrmino con el resto de los trminos

del segundo grupo. As, los trminos del segundo grupo se comparan con los
mintrminos del grupo siguiente. De la forma anterior, se procede con los dems
mintrminos de los dems grupos. Los mintrminos utilizados se les pone una marca
( ) con el fin de ir diferenciando los trminos utilizados y la variable apareada en el
proceso se reemplaza con un guin para denotar la eliminacin de la variable. Los
trminos no marcados en la tabla son los primeros implicantes primos (PI X). Los
mintrminos utilizados se les pone una marca ( ) con el fin de ir diferenciando los
trminos utilizados y la variable apareada en el proceso anterior se reemplaza con un
guin para denotar la eliminacin de la variable.
Mintrmino A B C D Mintrmino A B C D PIx Mintrmino A B C D PIx
- PI1
1 0 0 0 1 13 0 0 - 1 PI2 26 - 3-7 0 - 1
2 0 0 1 0 19 - 0 0 1 PI3 2-3 - 6-7 0 - 1 -

8 1 0 0 0 23 0 0 1 -
3 0 0 1 1 26 0 - 1 0
6 0 1 1 0 210 - 0 1 0 PI4
9 1 0 0 1 89 1 0 0 - PI5
10 1 0 1 0 8-10 1 0 - 0 PI6
7 0 1 1 1 37 0 - 1 1
15 1 1 1 1 67 0 1 1 -
7-15 - 1 1 1 PI7
Tabla 2.5.2. Implicantes primos de la funcin F1
3. Construir una tabla que enumere los implicantes primos y los mintrminos contenidos
por cada implicante primo. La letra X en la tabla 2.5.3 indica el mintrmino contenido en
cada implicado por fila. Por ejemplo, en la tabla se observa en el primer rengln los
mintrminos 2, 3, 6 y 7 para el primer implicante primo. El resto de la tabla se construye
de forma similar.
Implicante
1 2 3 6 7 8 9 10 15
Primo
* PI1 X X X X
PI2 X X
PI3 X X
PI4 X X
PI5 XX
PI6 X X
* PI7 X X
Tabla 2.5.3. Seleccin de implicantes primos esenciales
En la tabla se seleccionan las columnas de los mintrminos que contengan solamente

una cruz. En este ejemplo, hay dos mintrminos cuyas columnas tienen una sola cruz: 6
y 15. Es decir, la seleccin del primer implicado PI1 (AC) garantiza que el trmino
mnimo 6 est incluido en la funcin. De la misma forma, el trmino mnimo 7 est
cubierto por el primer implicadoPI7 (A'BCD). Los primeros implicados que cubren los
mintrminos con una sola cruz, se llaman primeros implicados esenciales (en la tabla se
encuentran marcados con un asterisco) y son indispensables en la construccin de la
funcin.
4. Seleccionar en cada columna los mintrminos que estn cubiertos por los primeros
implicados esenciales. Por ejemplo, el primer implicado esencial * PI1 (AC) cubre los
mintrminos 2, 3, 6 y 7. De la misma forma, el primer implicado esencial *PI7 (A'BCD)
cubre los mintrminos 7 y 15. Hasta el momento la seleccin de primeros implicados
cubre los mintrminos 2, 3, 6, 7 y 15 excepto 1, 8, 9 y 10. Estos trminos mnimos
deben ser seleccionados por medio de otros primeros implicados esenciales. En la tabla
2.5., la seleccin de los primeros implicados PI3 y PI6garantiza el cubrimiento de los
trminos mnimos 1, 8, 9 y 10. En la tabla 2.5.4. se muestra el proceso de seleccin.
Implicante Primo 1 8 9 10
PI2 X
*PI3 X X
PI4 X
PI5 X X
*PI6 X X
Tabla 2.5.4. Seleccin de primeros implicados esenciales
La funcin simplificada se obtiene de la suma de los primeros implicados hallados:
F= PI1 + PI3 +PI6 + PI7
F= (0-1-) + (-001) + (10-0) + (-111)
F = A'C + BCD + ABD + BCD
http://www.virtual.unal.edu.co/cursos/ingenieria/2000477/docs_curso/contenido
.html

Una Pequeña Introducción Al Álgebra de Booolee.

Enviado por

Dados do documento

Direitos autorais

Formatos disponíveis

Compartilhar este documento

Compartilhar ou incorporar documento

Opções de compartilhamento

Você considera este documento útil?

Este conteúdo é inapropriado?

Direitos autorais:

Formatos disponíveis

Una Pequeña Introducción Al Álgebra de Booolee.

Enviado por

Direitos autorais:

Formatos disponíveis

LGEBRA DE BOOLE

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

Operaciones Booleanas y Compuertas Bsicas

Inversin o negacin (complemento)

En la tabla de verdad 2.1.1. se muestra el resultado de la inversin lgica.

Ecuacin Entrada A Salida B

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.

La suma booleana de las variables A y B se enuncia de la siguiente forma,

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

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 representacin matemtica de una multiplicacin booleana de dos variables se hace por

La multiplicacin booleana de las variables A y B se enuncia de la siguiente forma,

La multiplicacin booleana es 1 si todas las variables lgicas son 1, pero si alguna es 0, el

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

Figura 2.1.4. Smbolo lgico de la funcin AND

con la correspondiente ecuacin X= AB

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.

Leyes conmutativas en dos variables

1. Ley conmutativa de la suma se enuncia como sigue

En aplicacin a los circuitos digitales, podramos decir que no importa el orden de

2. Ley conmutativa de la multiplicacin

Leyes asociativas en tres variables

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

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

En la figura 2.1.7 se muestra la aplicacin de la propiedad a 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,

En la figura 2.1.8 se muestra la aplicacin de la propiedad a las compuertas AND y OR,

Figura 2.1.8. Ley distributiva para tres variables

lgebra de Boole (Continuacin)

12. XY + XY = X (Teorema de combinacin)

El teorema 12 se conoce como la ley distributiva para tres variables.

Demostracin teorema 12:

Utilizando la ley distributiva para tres variables

Aplicando el teorema 8 se tiene,

Dando como resultado,

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

(X1 + X2 +.....+ Xn) = X1 X2 ..... Xn

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.

Obtener una compuerta OR utilizando compuertas NAND.